The Synergy of Precise and Fast Abstractions for Program Verification
Additional information
Authors
Sharygina N.,
Tonetta S.,
Tsitovich A.
Type
Article in conference proceedings
Year
2009
Language
English
Conference proceedings
24th Annual ACM Symposium on Applied Computing (SAC)
Publisher
ACM
Meeting place
Honolulu, USA
Pages (or article number)
566-573
