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

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

Backwards and Forwards with Separation Logic

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

scholarly journals A Formalization of the LLL Basis Reduction Algorithm

2018 ◽  
pp. 160-177 ◽  
Author(s):  
Jose Divasón ◽  
Sebastiaan Joosten ◽  
René Thiemann ◽  
Akihisa Yamada
Keyword(s):  
Reduction Algorithm ◽  
Basis Reduction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document