Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319431437, 9783319431444
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Cardinalities of Finite Relations in Coq

2016 ◽  
pp. 466-474 ◽  
Author(s):  
Paul Brunet ◽  
Damien Pous ◽  
Insa Stucke

Infeasible Paths Elimination by Symbolic Execution Techniques

2016 ◽  
pp. 36-51 ◽  
Author(s):  
Romain Aissat ◽  
Frédéric Voisin ◽  
Burkhart Wolff
Keyword(s):  
Symbolic Execution

scholarly journals What’s in a Theorem Name?

2016 ◽  
pp. 459-465 ◽  
Author(s):  
David Aspinall ◽  
Cezary Kaliszyk

Two-Way Automata in Coq

2016 ◽  
pp. 151-166 ◽  
Author(s):  
Christian Doczkal ◽  
Gert Smolka
Load More ...
Sign in / Sign up

Export Citation Format

Share Document