A brief overview of HOL4
Citation
Slind, K & Norrish, M 2008, 'A brief overview of HOL4', International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), ed. O.A. Mohamed, C. Munoz, S. Tahar, Springer, Berlin, Germany, pp. 28-32.Year
2008ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Mathematical Software