Formal methods and software development - Ehrig, Hartmut (Herausgeber); CAAP (10 : 1985 : Berlin, West); Colloquium on Software Engineering (1985 : Berlin, West); TAPSOFT (1 : 1985 : Berlin, West) (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) : Berlin, March 25 - 29, 1985 / edited by Hartmut Ehrig ..., 1985)