[Back]


Talks and Poster Presentations (with Proceedings-Entry):

R Lezuo, A. Krall:
"A Unified Processor Model for Compiler Verification and Simulation Using ASM";
Talk: ABZ'12, Pisa; 06-19-2012 - 06-21-2012; in: "Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z", (2012), 327 - 330.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-30885-7_24



Related Projects:
Project Head Andreas Krall:
Korrekte Übersetzer für korrekte anwendungsspezifische Prozessoren


Created from the Publication Database of the Vienna University of Technology.