Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 - 1985 - Springer Berlin Heidelberg 1985 - Lecture Notes in Computer Science .

9783540393078


Computer Science