FormbaR presented at KeY Symposium

The FormbaR project was presented at the 15th KeY Symposium (http://www.key-project.org/keysymposium16) as an example for the usage of formal methods.