Wolfgang Bibel, Klaus P. Jantke
Mathematical Methods of Specification and Synthesis of Software Systems '85 - 1986 - Springer Berlin Heidelberg 1986 - Lecture Notes in Computer Science .
9783540397847
Computer Science
Mathematical Methods of Specification and Synthesis of Software Systems '85 - 1986 - Springer Berlin Heidelberg 1986 - Lecture Notes in Computer Science .
9783540397847
Computer Science