Mogensen, Torben Ægidius,
2015,
Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.).
Springer,
p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review