Formal methods and software engineering (e-book)
Sun, Jing
Formal methods and software engineering (e-book) - Berlin Springer 2018 - Lecture Notes in Computer Science (LNCS) v.11232 .
978-3-030-02450-5
Formal methods and software engineering (e-book) - Berlin Springer 2018 - Lecture Notes in Computer Science (LNCS) v.11232 .
978-3-030-02450-5