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