Tags

Tags give the ability to mark specific points in history as being important

Thesis

b34bcfe3 · minor table fix · Jan 20, 2022
SEFM20-proceedings

07c47d8c · Make examples work with CPAchecker · Jul 22, 2020
```
Revision used for SEFM'20 proceedings artifact
```
SEFM20-submission

0f997e96 · Fix minor bugs regarding copyright, directory renames and readme · Jun 02, 2020
```
Revision used for SEFM'20 submission artifact
```
Unverified