Skip to content
hscc_numbers
default avatar
quesel@informatik.uni-oldenburg.de
6fe02742 · removed the anonymous update invariant rule · 
This version of KeYmaera was used to generate the numbers presented in HSCC'08 short paper.