Title: Rechnergestützte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte