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.