From LCF to Isabelle/Hol
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-019-00492-1
Full Text
Open PDFAbstract
Available in full text
Date
September 2, 2019
Authors
Publisher
Springer Science and Business Media LLC
Available in full text
September 2, 2019
Springer Science and Business Media LLC