Jean-Christophe Filliatre

Jean-Christophe Filliatre

2 ספרים במאגר

ספרים

Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program VerificationJean-Christophe Filliatre

Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification

Jean-Christophe Filliatre · 2010

Types for Proofs and ProgramsJean-Christophe Filliatre

Types for Proofs and Programs

Jean-Christophe Filliatre · 2006