VerifyThis - Verification Competition with a Human Factor.

Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich

Browse the full TACAS paper archive.