Specifying safety-critical systems with
β
Konur, Savas
π
Article
π
2014
π
Elsevier Science
π
English
β 511 KB