Publications
Export 1 results:
Author Title Type [ Year
Filters: Author is Tsitovich, A. 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)