[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - The synergy of precise and fast abstractions for program verification
Sharygina, Natasha, Tonetta, Stefano, Tsitovich, AliakseiYear:
2009
Language:
english
DOI:
10.1145/1529282.1529404
File:
PDF, 397 KB
english, 2009