A Semantic Basis of Logic-Independent Transformation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Junbo Liu. A Semantic Basis of Logic-Independent Transformation. In Hartmut Ehrig, editor, Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Volume 785 of Lecture Notes in Computer Science, pages 268-279, Springer, 1992.

This author has not been identified. Look up 'Junbo Liu' in Google

runs on WebDSL