This version has been published as KeY-Hoare-0.1.8 * it contains a bug fix for the execution time calculus * it is up-to-date with the post 1.4.0 master branch
This version has been published as KeY-Hoare-0.1.8 * it contains a bug fix for the execution time calculus * it is up-to-date with the post 1.4.0 master branch