Hyperproperties Bernd Finkbeiner



Written: 28.01.2019 14:30 Written By: Jana Hofmann

Dear Students,

As discussed today, we ask you to write a summary of your talk and the seminar. The submission deadline is 11.03.2019. If you want to receive feedback on your summary, please upload a draft until 25.02.2019. More detail on the summary can be found here.

Your Hyperproperties Team

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