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