Concrete and abstract specification, modularization and program development by transformation
By: Bernd Brückner
Contributors: Technische Universität München
Published: 1978
Language: eng
Number of pages: 178
Notes: Thesis (doctoral)--Technische Universität München, 1978.