Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, Springer, 1993.
Conference: ershov1993
@proceedings{ershov:1993,
title = {Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings},
year = {1993},
tags = {programming},
researchr = {https://researchr.org/publication/ershov%3A1993},
cites = {0},
citedby = {0},
booktitle = {Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings},
conference = {ershov},
editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
volume = {735},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57316-X},
}