Verification Bernd Finkbeiner

News

Course on static analysis in the summer

Written: 08.04.2017 14:14 Written By: Bernd Finkbeiner

Eva Darulova is offering a course on static analysis next semester that is perhaps of interest to some of you: https://moodle.mpi-sws.org/ 



If you encounter technical problems, please contact the administrators