AV Williams Building, Room 1146
Dr. Jeroen Keiren from Open University of the Netherlands will give a talk on Using Model checking to improve the quality of complex industrial software.