Conference
HOL Light QE.
Authors
Carette J; Farmer WM; Laskowski P
Editors
Avigad J; Mahboubi A
Series
Lecture Notes in Computer Science
Volume
10895
Pagination
pp. 215-234
Publisher
Springer
Publication Date
January 1, 2018
ISBN-13
978-3-319-94820-1
Conference proceedings
ITP