Collect and add recent Theta papers to list of publications (Help wanted: add yours!)
Opened this issue · 1 comments
AdamZsofi commented
If you have or know about any (also BSc/Msc theses), please add them.
I'll add the recent SV-COMP tool papers.
AdamZsofi commented
Just to make it easier, see readme here