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

Powered by Koha