Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-Christophe Filliâtre
A Modular Way to Reason About Iteration
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discharging Proof Obligations From Atelier B Using Multiple Automated Provers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Backtracking Iterators
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification