![](/img/cover-not-exists.png)
A Case Study on the Application of PVS to Requirements Analysis
Droschl, GeorgVolume:
6
Journal:
Australasian Journal of Information Systems
DOI:
10.3127/ajis.v6i2.298
Date:
May, 1999
File:
PDF, 826 KB
1999