Specify, Compile, Run: Hardware from PSL

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication6th International Workshop on Compiler Optimization Meets Compiler Verification
Publisher.
Pages6-20
Publication statusPublished - 2007

Cite this