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