Translating specifications in VDM-SL to PVS (1996)

by S Agerholm
Venue:Proceeding of the 9th International Conference On Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes in Computer Science