Title: Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung
Subjects: Computer programs, Programming languages (Electronic computers), Reliability, Verification