BVD

MaRDI QIDQ25847swMATHFDO

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

Cited in

(4)

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

This page was built for software: BVD