Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen
By: Peter Baur
Contributors: Universität Stuttgart
Published: 1987
Language: ger
Number of pages: 115
Notes: Thesis (doctoral)--Universität Stuttgart, 1987.