Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319221014, 9783319221021
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formalized Hierarchy of Probabilistic System Types

2015 ◽  
pp. 203-220 ◽  
Author(s):  
Johannes Hölzl ◽  
Andreas Lochbihler ◽  
Dmitriy Traytel

scholarly journals A Concrete Memory Model for CompCert

2015 ◽  
pp. 67-83 ◽  
Author(s):  
Frédéric Besson ◽  
Sandrine Blazy ◽  
Pierre Wilke
Keyword(s):  
Memory Model

scholarly journals Validating Dominator Trees for a Fast, Verified Dominance Test

2015 ◽  
pp. 84-99 ◽  
Author(s):  
Sandrine Blazy ◽  
Delphine Demange ◽  
David Pichardie
Keyword(s):  
Dominance Test

Pattern Matches in HOL:

2015 ◽  
pp. 453-468
Author(s):  
Thomas Tuerk ◽  
Magnus O. Myreen ◽  
Ramana Kumar
Load More ...
Sign in / Sign up

Export Citation Format

Share Document