Abstract interpretation based formal methods and future challenges, invited paper (2001)

by Patrick Cousot
Venue:Informatics — 10 Years Back, 10 Years Ahead, volume 2000 of Lecture Notes in Computer Science
Citations:28 - 6 self