From Verification to Optimizations
Paper in proceeding, 2015

Author

Rigel Gjomemo

Kedar S. Namjoshi

Phu Phung

University of Gothenburg

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

V. N. Venkatakrishnan

Lenore D. Zuck

Lecture Notes in Computer Science

Vol. 8931 300-317
978-3-662-46080-1 (ISBN)

Subject Categories

Computer Science

DOI

10.1007/978-3-662-46081-8_17

ISBN

978-3-662-46080-1

More information

Created

10/7/2017