Verification Bernd Finkbeiner


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: 

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators