EasyChair Smart Slide
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study