Werner Gabrisch. Decomposition of verification of machine programs based on control-state Abstract State Machines. In Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis, editors, Local Proceedings of the Sixth Balkan Conference in Informatics, Thessaloniki, Greece, September 19-21, 2013. Volume 1036 of CEUR Workshop Proceedings, pages 9, CEUR-WS.org, 2013. [doi]
@inproceedings{Gabrisch13,
title = {Decomposition of verification of machine programs based on control-state Abstract State Machines},
author = {Werner Gabrisch},
year = {2013},
url = {http://ceur-ws.org/Vol-1036/p9-Gabrisch.pdf},
researchr = {https://researchr.org/publication/Gabrisch13},
cites = {0},
citedby = {0},
pages = {9},
booktitle = {Local Proceedings of the Sixth Balkan Conference in Informatics, Thessaloniki, Greece, September 19-21, 2013},
editor = {Christos K. Georgiadis and Petros Kefalas and Demosthenes Stamatis},
volume = {1036},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}