05.02.2008 15:50 Uhr, Quelle: Heise
Turing-Preis für Entwickler der formalen Verifikation
Weiterlesen bei Heise
JustMac.info