Droschl, G. 1999. A Case Study on the Application of PVS to Requirements Analysis. Australasian Journal of Information Systems. 6, 2 (May 1999). DOI:https://doi.org/10.3127/ajis.v6i2.298.