The KeY approach: Integrating object oriented design and formal veri (1919)

by W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, W Menzel, P H Schmitt
Venue:Proceedings, Logics in Arti Intelligence (JELIA), Malaga