EasyChair Smart Slide
On Teaching Applied Formal Methods in Aerospace Engineering
On Teaching Applied Formal Methods in Aerospace Engineering