Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993

Proceedings (Lecture Notes in Computer Science)

Published in October 1993, Springer

Formal Methods in Programming and Their Applications: International C ...

Change Cover

Contributions:	Manfred Broy (Editor), Dines Bjorner (Editor), Igor V. Pottosin (Editor)
ISBN 10:	038757316X
ISBN 13:	9780387573168