Mathematical Methods of Specification and Synthesis of Software Systems '851986

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 (Lecture Notes in Computer Science)

by Wolfgang Bibel