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]
Abstract is missing.