Jan Boerman - Verification of JML specifications: a comparison between KeY and OpenJML

author:Jan Boerman
title:Verification of JML specifications: a comparison between KeY and OpenJML
keywords:
topics:Case studies and Applications, Logics and semantics
committee:prof.dr. M. Huisman
S.J.C. Joosten Dr.ir.
graduation date:1 February 2018


Abstract