Ein Witz. Sry --WissensDürster 21:17, 11. Feb. 2009 (CET)
- Kann schon sein, dass das Fachgebiet sinnvoll abgrenzbar ist und einen WP-Artikel haben sollte, aber dann müsste man wohl etwas mehr schreiben. Auf der verlinkten Seite der TU Darmstadt steht, dass auch die Überprüfung der Korrektheit von Algorithmen dazu gehört; das taucht im Artikel nicht auf. Ich schau mal, ob sich jemand im Portal Informatik damit auskennt... -- UKoch 18:50, 1. Aug. 2011 (CEST)