EasyChair Smart Slide
Formalising Executable Specifications of Low-Level Systems
Formalising Executable Specifications of Low-Level Systems