HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Klaus Havelund

Publications
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Giles Reger and Klaus Havelund (editors)
Kalpa Publications in Computing, volume 3
Howard Barringer: the Man who Invented the Past
Klaus Havelund
In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Closing the Gap Between Specification and Programming: VDM++ and Scala
Klaus Havelund
In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Copyright © 2012-2025 easychair.org. All rights reserved.