Loop Invariants
Analysis, Classification, and Examples
Metadata only
Date
2014Type
- Journal Article
Publication status
publishedExternal links
Journal / series
ACM Computing SurveysVolume
Pages / Article No.
Publisher
Association for Computing MachinerySubject
Algorithms; Verification; Loop invariants; Deductive verification; Preconditions and postconditions; Formal verificationOrganisational unit
03594 - Meyer, Bertrand (emeritus)
More
Show all metadata