JACK

swMATH7878MaRDI QIDQ19894FDOQ19894

Author name not available (Why is that?)

Cited In (4)

• Faster and more complete extended static checking for the Java modeling language
• 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
• Static Contract Checking with Abstract Interpretation

This page was built for software: JACK