JNuke

swMATH28382MaRDI QIDQ40096FDOQ40096

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007/978-3-540-27813-9_37

Described by source

• Computer Aided Verification

Cited In (4)

• Combining test case generation and runtime verification
• Bogor
• TGV
• Model checking of concurrent algorithms: from Java to C

This page was built for software: JNuke