HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:denotational semantics

Papers
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study
Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff
EasyChair Preprint no. 944
Copyright © 2012-2023 easychair.org. All rights reserved.