Jass
From MaRDI portal
Software:43976
swMATH32265MaRDI QIDQ43976FDOQ43976
Author name not available (Why is that?)
Cited In (5)
- Tools and Algorithms for the Construction and Analysis of Systems
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- Integrating a formal method into a software engineering process with UML and Java
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- Model Checking Merged Program Traces
This page was built for software: Jass
