Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, Springer, 1993.

Conference: ershov1993

This author has not been identified. Look up 'Dines Bjørner' in GoogleThis author has not been identified. Look up 'Manfred Broy' in GoogleThis author has not been identified. Look up 'Igor V. Pottosin' in Google

runs on WebDSL