Author(s):
|
Basten, T.; Benthum, E. van; Geilen, M.;
Hendriks, M.
; Houben, F.; Igna, G.; Reckers, F.; Smet, S. de; Somers, L.; Teeselink, E.; Trcka, N.;
Vaandrager, F.
; Verriet, J.; Voorhoeve, M.; Yang, Y.
|
Editor(s):
|
Margaria, T.; Steffen, B.
|
Book title:
|
Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation |