Abstract State Machines, Alloy, B, VDM, and Z
Book title Buchtitel
Abstract State Machines, Alloy, B, VDM, and Z
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lezuo, Roland ; Krall, Andreas | A Unified Processor Model for Compiler Verification and Simulation Using ASM | Konferenzbeitrag Inproceedings | 2012 |