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