Formalising an Integrated Language in PVS.

Gwen Salan, J. Christian Attiogb

Browse the full ICFEM paper archive.