Peter Baur. Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen. PhD thesis, University of Stuttgart, Germany, 1987. [doi]
No references recorded for this publication.
No citations of this publication recorded.