Formal methods in programming and their applications
Subtitle: international conference, Academgorodok, Russia, June/July 1993 : proceedings
By: Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
Contributors: Bjørner, D. 1937-; Broy, M., 1949-; Pottosin, I. V.
Series: Lecture notes in computer science ;; 735
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 433
Subjects: Computer programming; Formal methods (Computer science)