Fingerprint
Dive into the research topics of 'A static analyzer for large safety-critical software'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Bruno Blanchet, Laurent Mauborgne, Patrick Cousot, Antoine Miné, Radhia Cousot, David Monniaux, Jérôme Feret, Xavier Rival
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution