Publications & Reports

Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva.

EPTCS 351, 2021, 296-313. 2021

Matt Windsor, Alastair F. Donaldson, and John Wickerson.

ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2021, 670–673. 2021

Wilmer Ricciotti & James Cheney.

In: Yoshida, N. (eds) Programming Languages and Systems. ESOP 2021, vol 12648, 579–606. 2021