2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2021 ACM/IEEE 24th International Conference on. :205-215 Oct, 2021
Slind, K. (ed.), Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings, 66-81. Berlin : Springer STARTPAGE=66;ENDPAGE=81;ISSN=0302-9743;TITLE=Slind, K. (ed.), Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
Slind, K, Gordon, M, Boulton, R & Bundy, A 1998, System Description: an Interface Between CLAM and HOL . in Automated Deduction — CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings . Lecture Notes in Computer Science, vol. 1421, Springer-Verlag GmbH, pp. 134-138 . https://doi.org/10.1007/BFb0054255
Boulton, R, Slind, K, Bundy, A & Gordon, M 1997, A Prototype Interface Between CLAM and HOL . in Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings . vol. 1275, Lecture Notes in Computer Science, Springer-Verlag GmbH .