top | item 44306163 (no title) fovc | 8 months ago Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition. discuss order hn newest No comments yet.
No comments yet.