Jass
From MaRDI portal
Cited in
(15)- 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?
- jContractor
- SPARK
- JUnit
- JPAX
- LOOP
- MOP
- Splint
- MASON
- PQL
- ANNA
- Integrating a formal method into a software engineering process with UML and Java
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
This page was built for software: Jass
