(1993). Formal methods in programming and their applications: International conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June/July 1993 : Proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, Eds. 1993.
MLA -ийн эшлэл (9 дэх хэвлэлт)Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June/July 1993 : Proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, Eds. 1993.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.