Experiments with using PVS for Software Specifications.

Student thesis: Master's Thesis

Date of Award1998
Original languageEnglish
SupervisorDirk Vermeir (Promotor)

Cite this

'