Skip to content
GitLab
Explore
Sign in
key-public
key
Tags
hscc_numbers
hscc_numbers
quesel@informatik.uni-oldenburg.de
6fe02742
·
removed the anonymous update invariant rule
·
Nov 08, 2007
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
This version of KeYmaera was used to generate the numbers presented in HSCC'08 short paper.