An Isabelle-based theorem prover for VDM-SL (1997)

by S AGERHOLM, J FROST
Venue:in Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97