DMCA

Varieties of Static Analyzers: A Comparison with ASTRÉE

by Patrick Cousot , Radhia Cousot , Jérôme Feret , Antoine Miné , Laurent Mauborgne , David Monniaux , Xavier Rival
Citations:21 - 5 self