Droschl G. A Case Study on the Application of PVS to Requirements Analysis. AJIS [Internet]. 1999 May 1 [cited 2026 Mar. 21];6(2). Available from: https://ajis.aaisnet.org/index.php/ajis/article/view/298