Experiments with using PVS for Software Specifications.

Scriptie/Masterproef: Master's Thesis

Datum prijs1998
Originele taalEnglish
BegeleiderDirk Vermeir (Promotor)

Citeer dit

'