This page shows all presentations of this author published in EasyChair Smart Slide.
Efficient online homologation to prepare students for formal methods courses
Bas Luttik