The VerifyThis Collaborative Long Term Challenge

Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl. The VerifyThis Collaborative Long Term Challenge. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 246-260, Springer, 2020. [doi]

Authors

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google

Raúl E. Monti

This author has not been identified. Look up 'Raúl E. Monti' in Google

Mattias Ulbrich

This author has not been identified. Look up 'Mattias Ulbrich' in Google

Alexander Weigl

This author has not been identified. Look up 'Alexander Weigl' in Google