The 2nd Winter School in Engineering and Computer Science on Formal Verification

Event date: December 17 - December 21, 2017

Organizers: