Formal Methods in Programming and Their Applications: Proc./Intern. Conf. Academgorodok, Novosibirsk, Russia, June-July 1993

Б1.3, Б2.

Formal Methods in Programming and Their Applications: Proc./Intern. Conf. Academgorodok, Novosibirsk, Russia, June-July 1993Ed. by Bjorner D., Broy M., Pottosin I. V..-Berlin, Heidelberg.: Springer, 1993.-Vol. 735.-434 p.-(Lecture Notes in Computer Science).