Aufwandsabschätzung, Komplexitätstheorie und formale Korrektheitsnachweise von Algorithmen