Formal Methods Teaching

Format:: e-book
Title:: Formal Methods Teaching
Author:: Dongol; Petre, Luigia; Smith, Graeme
Language:: English
Publisher:: Springer International Publishing 2019
ISBN:: 3-030-32440-0
3-030-32441-9
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000009362552?locale=en