JMLUnit

swMATH475MaRDI QIDQ13232FDOQ13232

Author name not available (Why is that?)

Described by source

• JMLUnit: The Next Generation

Cited In (2)

• Verifying Whiley programs with Boogie
• Formal specification and verification of JDK's identity hash map implementation

This page was built for software: JMLUnit