![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 10376 || Formulating Model Verification Tasks Prover-Independently as UML Diagrams
Anjorin, Anthony, Espinoza, HuáscarVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-61482-3_14
File:
PDF, 1.49 MB
english, 2017