tthuem / keyexperiencereport Goto Github PK
View Code? Open in Web Editor NEWThis project forked from neoroy/keyexperiencereport
Contains the data for the master thesis "An Experience Report on Deductive Verification with KeY" at TU Braunschweig, Institute of Software Engineering and Automotive Informatics
License: GNU General Public License v2.0