3 ms·
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
by fovc 1y ago
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
loading thread…