Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings - Bjørner, D. (Dines), 1937-; Broy, M., 1949-; Pottosin, I. V. (Berlin ; New York : Springer-Verlag, 1993)
Keywords: Computer programming; Formal methods (Computer science)