Enforcing Design Constraints with Object Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Jackson. Enforcing Design Constraints with Object Logic. In Jens Palsberg, editor, Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Volume 1824 of Lecture Notes in Computer Science, pages 1-21, Springer, 2000.

This author has not been identified. Look up 'Daniel Jackson' in Google

runs on WebDSL