A Comparative Review of Some Program Verification Methods.

Andrzej Blikle

Browse the full MFCS paper archive.