Author:Marieke Huisman

Publications
24 Challenges in Deductive Software Verification Reiner Hähnle and Marieke Huisman In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements