This page shows all presentations of this author published in EasyChair Smart Slide.
RoboTool: Modelling and Verification with RoboChart
Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock