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