Computer science
Nachbedingung (Informatik)