A digital service from FCT Towards certified program logics for the verification of imperative programs.
Chicago Style (17th ed.) CitationTowards Certified Program Logics for the Verification of Imperative Programs.
MLA (9th ed.) CitationTowards Certified Program Logics for the Verification of Imperative Programs.
Warning: These citations may not always be 100% accurate.