Refinement Algebra for Formal Bytecode Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio. Refinement Algebra for Formal Bytecode Generation. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 347-358, Springer, 2002. [doi]

This author has not been identified. Look up 'Adolfo Duran' in GoogleThis author has not been identified. Look up 'Ana Cavalcanti' in GoogleThis author has not been identified. Look up 'Augusto Sampaio' in Google

runs on WebDSL