Reijsbergen, D. P.
, de Boer, P-T.
& Scheinhardt, W. R. W.
, 10 Oct 2016
, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I.
Margaria, T. & Steffen, B. (eds.). Springer
, p. 16-26 11 p.
(Lecture Notes in Computer Science; vol. 9952).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review