Statistics
Publications
2
Citations
69
H-Index
2
Active since
1975
Affiliations
Michel Caplain is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in invariant-based verification, theorem proving, and assertion-based verification.
Publications per year
1975–1975
2
2
Finding Invariant assertions for proving programs
Michel Caplain · ACM SIGPLAN Notices · 1975 · 43 citations · Full text
Finding Invariant assertions for proving programs
Michel Caplain · 1975 · 26 citations · Full text
1–2 of 2