Jean-Christophe Filliatre
Identifiers
- Open LibraryOL9697295A
Top Subjects
- Computer programming (1)
- Automatic theorem proving (1)
Books by Jean-Christophe Filliatre
Total count: 2
-
Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected PapersSpringer London, Limited2006-01-01
-
Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program VerificationAssociation for Computing Machinery2010-01-01