Tag Archives: Alastair Donaldson PhD

University of Twente hosts the International Workshop on Automated Verification of Critical Systems, 24 and 26 September 2014

Between 24 and 26 September, the University of Twente will act as host to the International Workshop on Automated Verification of Critical Systems. This event will explore the latest developments in the field of verification of critical software systems. Enschede, Netherlands, 23-9-2014 … Read the full press release