Rechnergestützte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte
By: Thomas Liedtke
Contributors: Universität Stuttgart
Publisher: [s.n.]
Published: 1993
Place of publication: [s.l.]
Language: ger
Number of pages: 153
Notes: Thesis (doctoral)--Universität Stuttgart, 1993.