Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: Manfred Broy (Editor); Dines Bjorner (Editor); Igor V. Pottosin (Editor)
Publisher: Springer
Published: October 1993
Number of pages: 433
ISBN-13: 9780387573168