Software Engineering and Formal Methods

Format:: e-book
Title:: Software Engineering and Formal Methods
Author:: Radu Calinescu; Păsăreanu, Corina S.
Language:: English
Publisher:: Springer International Publishing 2021
ISBN:: 3-030-92123-9
3-030-92124-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:5100000000152667?locale=en