If you made any changes in Pure these will be visible here soon.
  • Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)

    Wu, T., Schrammel, P. & Cordeiro, L. C., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Springer Nature, Vol. 13244. p. 484-489 6 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review