Linker, S.,
Burton, J. &
Blake, A.,
10/08/2016,
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). Cham:
Springer,
p. 32-39 8 p. (Lecture Notes in Computer Science; vol. 9781).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review