Programmiersprachen: Ada und Spark sind sicherer als C from Golem's blog
Bei der Programmierung von sicherheitsrelevanter Software ist C immer noch beliebt. Sollte es aber nicht, denn Ada und Spark sind gerade für diesen Bereich viel besser geeignet. Von Johannes Kanig (Entwicklungsumgebung, Internet)
The Wall