BVD

swMATH13938MaRDI QIDQ25847FDOQ25847

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-24690-6_28

Cited In (4)

• Verifying Whiley programs with Boogie
• Instrumenting a weakest precondition calculus for counterexample generation
• Nagini
• An assertional proof of the stability and correctness of Natural Mergesort

This page was built for software: BVD