Jass
From MaRDI portal
Software:43976
No author found.
Related Items (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 ⋮ Model Checking Merged Program Traces ⋮ jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
This page was built for software: Jass
