BVD

swMATH13938MaRDI QIDQ25847FDOQ25847

Author name not available (Why is that?)

Cited In (3)

• Verifying Whiley programs with Boogie
• Instrumenting a weakest precondition calculus for counterexample generation
• An Assertional Proof of the Stability and Correctness of Natural Mergesort

This page was built for software: BVD