Update/website v2
Fixed some small typos/bugs and improved the overall website by adding a (collapsable) navbar on top. Once the TACAS21 paper is online, we should not forget to add it.
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Fixed some small typos/bugs and improved the overall website by adding a (collapsable) navbar on top. Once the TACAS21 paper is online, we should not forget to add it.