Translating Specifications in VDM-SL to PVS (1996)

Cached

Download Links

by Sten Agerholm
Venue:Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, volume 1125 of Lecture Notes in Computer Science
Citations:13 - 2 self