Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Bjørner, Dines Heftet / 1993 / Engelsk
Perspectives of System Informatics Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings Bjørner, Dines Heftet / 1996 / Engelsk
