![](/img/cover-not-exists.png)
Handbook of Software Engineering || Formal Methods
Cha, Sungdeok, Taylor, Richard N., Kang, KyochulVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-00262-6_5
File:
PDF, 513 KB
english, 2019