On the formal specification and verifica
β
Peter J. de Graaff
π
Article
π
1990
π
Elsevier Science
β 546 KB