A Static Analyzer for Large Safety-Critical Software (2003)

by Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jerome Feret , Laurent Mauborgne , Antoine Mine , David Monniaux , Xavier Rival
Citations:180 - 41 self