Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319948201, 9783319948218
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Backwards and Forwards with Separation Logic

2018 ◽  
pp. 68-87 ◽  
Author(s):  
Callum Bannister ◽  
Peter Höfner ◽  
Gerwin Klein
Keyword(s):  
Separation Logic

Boosting the Reuse of Formal Specifications

2018 ◽  
pp. 477-494 ◽  
Author(s):  
Mariano M. Moscato ◽  
Carlos G. Lopez Pombo ◽  
César A. Muñoz ◽  
Marco A. Feliú
Keyword(s):  
Formal Specifications

HOL Light QE

2018 ◽  
pp. 215-234 ◽  
Author(s):  
Jacques Carette ◽  
William M. Farmer ◽  
Patrick Laskowski
Keyword(s):  
Hol Light

scholarly journals Efficient Mendler-Style Lambda-Encodings in Cedille

2018 ◽  
pp. 235-252 ◽  
Author(s):  
Denis Firsov ◽  
Richard Blair ◽  
Aaron Stump

scholarly journals A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs

2018 ◽  
pp. 178-195 ◽  
Author(s):  
Christian Doczkal ◽  
Guillaume Combette ◽  
Damien Pous
Keyword(s):  
Formal Proof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document