Formal methods and software development : colloquium on software engineering : proceedings - Ehrig Harmut; International Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 1985 : Berlin ); International Joint Conference on Theory and Practice of Software Development(TAPSOFT) Berlin, 1985 (Berlin Springer Verlag, 1985)
Keywords: Software development