24 months ago | Christian Urban | updated | file | diff | annotate |
24 months ago | Christian Urban | updated | file | diff | annotate |
2022-10-12 | Christian Urban | updated paper for FoSSaCS | file | diff | annotate |
2022-07-17 | Christian Urban | updated paper and corresponding theories | file | diff | annotate |
2022-05-01 | Christian Urban | updated the paper | file | diff | annotate |
2022-04-29 | Christian Urban | updated to include the paper | file | diff | annotate |