Specify, Compile, Run: Hardware from PSL

Roderick Paul Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
Titel6th International Workshop on Compiler Optimization Meets Compiler Verification
Herausgeber (Verlag).
Seiten6-20
PublikationsstatusVeröffentlicht - 2007

Dieses zitieren