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.
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.