Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).

Michael Felderer, Dilian Gurov, Marieke Huisman, Bjrn Lisper, Rupert Schlick

Browse the full ISoLA paper archive.