Cited in
(7)- Faster and more complete extended static checking for the Java modeling language
- distcc
- Omnibus
- Cibai
- Static contract checking with abstract interpretation
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
This page was built for software: JACK