Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319089690, 9783319089706
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On the Formalization of Z-Transform in HOL

2014 ◽  
pp. 483-498 ◽  
Author(s):  
Umair Siddique ◽  
Mohamed Yousri Mahmoud ◽  
Sofiène Tahar

scholarly journals Cardinals in Isabelle/HOL

2014 ◽  
pp. 111-127 ◽  
Author(s):  
Jasmin Christian Blanchette ◽  
Andrei Popescu ◽  
Dmitriy Traytel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document