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; 2012-06-19 - 2012-06-21; 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)

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

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