Harald Ganzinger (Q92690)
German computer scientist (1950-2004)
Language: