JBMC

swMATH25908MaRDI QIDQ37641FDOQ37641

Author name not available (Why is that?)

Cited In (2)

• Deductive verification of floating-point Java programs in KeY
• Formal specification and verification of JDK's identity hash map implementation

This page was built for software: JBMC