![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Using ASM Specifications for Compiler Testing
Börger, Egon, Gargantini, Angelo, Riccobene, ElviniaVolume:
10.1007/3-
Year:
2003
Language:
english
DOI:
10.1007/3-540-36498-6_29
File:
PDF, 38 KB
english, 2003