APA (7th ed.) Citation

Bjørner, D., Broy, M., & Pottosin, I. V. (1993). Formal methods in programming and their applications: International conference, Academgorodok, Russia, June 28-July 2, 1993 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Bjørner, D., M. Broy, and I. V. Pottosin. Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June 28-July 2, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.

MLA (9th ed.) Citation

Bjørner, D., et al. Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June 28-July 2, 1993 : Proceedings. Springer-Verlag, 1993.