was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.
- Arthur Charguéraud
- Alan Schmitt
- Thomas Wood
WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France
PACMPL, vol. 2(POPL), pp. 50:1–50:33
Proceedings of the 27th International Conference on Computer Aided Verification (CAV’15), pp. 3–10