Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28

Dines Bjørner Manfred Broy Igor V. Pottosin Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Formal Methods in Programming and Their Applications Lecture Notes in Computer Science 735 Springer 1993 3-540-57316-X db/conf/ershov/ershov1993.html