DROSCHL, G. A Case Study on the Application of PVS to Requirements Analysis. Australasian Journal of Information Systems, Australia, v. 6, n. 2, 1999. DOI: 10.3127/ajis.v6i2.298. Disponível em: https://ajis.aaisnet.org/index.php/ajis/article/view/298. Acesso em: 15 oct. 2024.