Delft University of Technology / University of Toronto / /
IndustryTerm
software system / telephone switching systems / information technology field / information technology professionals / Internet protocol software / software quality / control software / computing industry’s leading Portal / software package / railway signaling systems / verification tool / /
Organization
Delft University of Technology / University of Toronto / Association for Computing Machinery / /
Person
John R. White / Gerard Holzmann / Patrick J. De Blasi / Virginia Gold / / /
Position
author / director of research / executive director and CEO / Researcher / /