Translating specifications in VDM-SL to PVS

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/bfb0105393 ◽

1996 ◽

pp. 1-16 ◽

Author(s):

Sten Agerholm

Download Full-text