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