Linker, S.,
20/09/2017,
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Cham:
Springer,
p. 34-49 16 p. (Lecture Notes in Computer Science; vol. 10510).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review