MeTRiD 2018:
Methods and Tools for Rigorous System Design

With Saddek Bensalem, we are organising the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018). MeTRiD is a satellite of ETAPS 2018, which will take place in Thessaloniki, Greece on April 14–21, 2018.

Please submit your best work through EasyChair!

ETAPS 2018 logo