Author of the publication

Extending SMT-LIB v2 with λ-Terms and Polymorphism.

, , and . SMT, volume 1163 of CEUR Workshop Proceedings, page 53-62. CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

BEval: A Plug-in to Extend Atelier B with Current Verification Technologies., and . LAFM, volume 139 of EPTCS, page 53-58. (2013)GridTPT: a distributed platform for Theorem Prover Testing., , , and . PAAR@IJCAR, volume 9 of EPiC Series in Computing, page 33-39. EasyChair, (2010)Techniques for Temporal Logic Model Checking.. PSSE, volume 3167 of Lecture Notes in Computer Science, page 315-367. Springer, (2004)Verifying Code Generation Tools for the B-Method Using Tests: A Case Study., , , , , and . TAP@STAF, volume 9154 of Lecture Notes in Computer Science, page 76-91. Springer, (2015)Extending SMT-LIB v2 with λ-Terms and Polymorphism., , and . SMT, volume 1163 of CEUR Workshop Proceedings, page 53-62. CEUR-WS.org, (2014)Automation of Java Card component development using the B method., , and . ICECCS, page 259-268. IEEE Computer Society, (2006)Assigning Safe Executed Systems to Meanings., , and . RSSRail, volume 13294 of Lecture Notes in Computer Science, page 130-142. Springer, (2022)Applying a Formal Method in Industry: a 25-Year Trajectory., , , and . CoRR, (2020)Using induction and BDDs to model check invariants., and . CHARME, volume 105 of IFIP Conference Proceedings, page 203-213. Chapman & Hall, (1997)AGraphs: Definition, implementation and tools., , and . ECEASST, (2006)