This page shows all presentations of this author published in EasyChair Smart Slide.
Formalising Executable Specifications of Low-Level Systems
Paolo Torrini, David Nowak, Narjes Jomaa and Mohamed Sami Cherif