An Isabelle-based theorem prover for VDM-SL S Agerholm, J Frost International Conference on Theorem Proving in Higher Order Logics, 1-16, 1997 | 35 | 1997 |
A case study of co-induction in Isabelle J Frost University of Cambridge, Computer Laboratory, 1995 | 26 | 1995 |
Towards an integrated CASE and theorem proving tool for VDM-SL S Agerholm, J Frost International Symposium of Formal Methods Europe, 278-297, 1997 | 17 | 1997 |
An operational logic of effects J Frost, IA Mason Proceedings of the Australasian Theory Symposium, CATS’96, 147-156, 1996 | 8 | 1996 |
A case study of co-induction in Isabelle HOL J Frost University of Cambridge, Computer Laboratory, 1993 | 6 | 1993 |
An Ada95 solution for certification of embedded safety critical applications J Frost International Conference on Reliable Software Technologies, 52-63, 1999 | 4 | 1999 |
Effective programming J Frost Technical University of Denmark, 1996 | 3 | 1996 |
Supporting Proof in VDM-SL using Isabelle S Agerholm, J Frost Proof in VDM: Case Studies, 191-223, 1998 | 1 | 1998 |
An Isabelle-Based Theorem Prover for VDM-SL J Frost, S Agerholm | | 1997 |