DMCA

Policy iteration within logico-numerical abstract domains (2011)

by Pascal Sotin , Franck Védrine , Eric Goubault
Venue:In Proceedings of ATVA’11, 9th International Symposium on Automated Technology for Verification and Analysis, volume 6996 of Lecture Notes in Computer Science
Citations:3 - 1 self