HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yakoub Nemouchi

Publications
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study
Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff
EasyChair Preprint 944

Keyphrases

denotational semantics, HOL, Isabelle, program verification, Unifying Theories of Programming.

Copyright © 2012-2025 easychair.org. All rights reserved.