An Integrated Proof Language for Imperative Programs

Zee, KarenKuncak, ViktorRinard, Martin2009-05-012009-05-012009-05-01200910.1145/1542476.1542514https://infoscience.epfl.ch/handle/20.500.14299/38237WOS:000267268400030AlgorithmsLanguagesReliabilityVerificationverificationtheorem proverproof systemAn Integrated Proof Language for Imperative Programstext::conference output::conference proceedings::conference paper