JNuke

swMATH28382MaRDI QIDQ40096FDOQ40096

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (2)

• Combining test case generation and runtime verification
• Model Checking of Concurrent Algorithms: From Java to C

This page was built for software: JNuke