Jass

swMATH32265MaRDI QIDQ43976FDOQ43976

Author name not available (Why is that?)

Official website: http://csd.informatik.uni-oldenburg.de/pub/Papers/jass.pdf

Cited In (13)

• Model checking merged program traces
• Tools and Algorithms for the Construction and Analysis of Systems
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• JUnit
• JPAX
• LOOP
• MOP
• Integrating a formal method into a software engineering process with UML and Java
• Splint
• MASON
• PQL
• ANNA
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

This page was built for software: Jass