Proceedings on formal methods and software development - Ehrig Hartmut Ed.; Inter-joint conference on formal methods and software developments (1985 : Berlin); Floyd Christiane Ed. (Berlin Springer-Verlag, 1985)
Keywords: Computer programming