Publications
Export 1 results:
Author Title Type [ Year] Filters: Author is Tonetta, S. and First Letter Of Title is S [Clear All Filters]
The Synergy of Precise and Fast Abstractions for Program Verification,
, 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, (2009)