

An edition of Mathematical methods of specification and synthesis of software systems '85 (1986)
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
By W. Bibel
Publish Date
1986
Publisher
Springer
Language
eng
Pages
245