HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:denotational semantics

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
Copyright © 2012-2025 easychair.org. All rights reserved.