EasyChair Smart SlideUser guide
Author: Joshua Bockenek

This page shows all presentations of this author published in 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

Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair