Korrektheit, Spezifikation



Johannes Waldmann 2009-01-12