EasyChair Smart Slide
Invited Talk: Practical uses of Logic, Formal Methods, B and ProB
Invited Talk: Practical uses of Logic, Formal Methods, B and ProB