Formalising an Integrated Language in PVS

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_12 ◽

2003 ◽

pp. 187-205

Author(s):

Gwen Salaün ◽

Christian Attiogbé

Download Full-text