Publicationsshelley2024-07-29T13:30:35+00:00

Publications & Reports

Andrei Popescu, Peter Lammich, and Thomas Bauereiss.

Arch. Formal Proofs 2021. 2021

Andrea Giugliano.

PhD Thesis, University of Leicester. 2018

Hugo Férée, Johannes Å. Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho.

In: Piskac, R., Rümmer, P. (eds) Verified Software. Theories, Tools, and Experiments. VSTTE 2018. Lecture Notes in Computer Science, vol 11294. 2018

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder.

PEPM ’18: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, December 2017, 53–59. 2018

VeTSS

2018

VeTSS, 2024.

Filter by