From Software Engineering to Formal Methods and Tools, and Back

Full text!
Type:
e-book
Titel:
From Software Engineering to Formal Methods and Tools, and Back
Auteur:
ter Beek; Fantechi, Alessandro; Semini, Laura
Taal:
Engels
Uitgever:
Springer International Publishing 2019
ISBN:
3-030-30984-3
3-030-30985-1
Permalink:
http://bibtest.howest.be/catalog/ebk03:4100000009453363