Translating specifications in VDM-SL to PVS (1996)

by S Agerholm
Venue:Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’96), volume 1125 of Lecture Notes of Computer Science