DMCA

A few graph-based relational numerical abstract domains (2002)

by Antoine Miné
Venue:Static Analysis: Proceedings of the 9th International Symposium
Citations:23 - 1 self