A Case Study on the Application of PVS to Requirements Analysis.

Published in: Australas. J. Inf. Syst. (1999)

Keyphrases