![](/img/cover-not-exists.png)
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods
Jan Tretmans, Klaas Wijbrans, Michel ChaudronVolume:
19
Language:
english
Pages:
21
DOI:
10.1023/a:1011236117591
Date:
September, 2001
File:
PDF, 646 KB
english, 2001