Part of the Physical Sciences and Mathematics Commons
From Verification to Optimizations, Rigel Gjomemo, Kedar S. Namjoshi, Phu Huu Phung, V. N. Venkatakrishnan, Lenore D. Zuck Computer Science Faculty Publications
Link
Advanced search
