DMCA

An Isabelle-based Theorem Prover for VDM-SL (1997)

Cached

Download Links

by Sten Agerholm , Jacob Frost
Venue:In Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'97), LNCS
Citations:14 - 1 self