ViVa: A systematic approach to verificat
β
Erik Hollnagel
π
Article
π
1993
π
Elsevier Science
π
English
β 569 KB