Using Auxiliary Variables in Parallel Programs Verification - researchr publication

researchr

You are not signed in
Sign in
Sign up

Raymond R. Devillers, Guy Louchard. Using Auxiliary Variables in Parallel Programs Verification. In E. Morlet, D. Ribbens, editors, International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint). pages 217-225, North-Holland, 1977.

Abstract is missing.

runs on WebDSL