Debugging Abstract State Machine Specifications: An Extension of CoreASM

Erstveröffentlichung
2012
Authors
Dausend, Marcel
Stegmaier, Michael
Raschke, Alexander
Beitrag zu einer Konferenz


Published in
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012 / Mazzanti, Franco ; Trentanni, Gianluca (Hrsg.). - Pisa : CNR Research Area of Pisa, 2012. - S. 21-25. - ISBN 978-88-7958-008-3
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Softwaretechnik und Programmiersprachen
Conference
IFM 2012 & ABZ 2012 Joint Conference in honour of Egon Börger’s 65 th birthday for his contribution to state-based formal methods, 2012-06-18 - 2012-06-21, Pisa
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record