Paper Info
Title
Virtualization of HOL4 in Isabelle.
Year
DOI
Venue
2019
10.4230/LIPIcs.ITP.2019.21
ITP
Field
DocType
Citations 
Virtualization,Computer science,Operating system
Conference
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Fabian Immler16711.47
Jonas Rädle201.35
Makarius Wenzel3113.17