Formal methods and software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. 2 : Colloquium on Software Engineering (CSE)
International Joint Conference on Theory and Practice of Software Development
Bok Engelsk 1985