Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings - Bjorner, D. (Dines) 1937-.; Broy, Mandred. 1949-.; Pottosi, Igor V. (Berlin Springer-Verlag, 1993)
Keywords: Electronic digital computers -- Programming