Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Finding Invariant assertions for proving programs
Home
Publications
Finding Invariant assertions for proving programs
Finding Invariant assertions for proving programs
MC
Michel Caplain
Michel Caplain
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1975
conference paper
Published by
Association for Computing Machinery (ACM)
p.
165-171
https://doi.org/10.1145/800027.808436
Abstract
No abstract available
Cited by 23 articles