DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matteo Dell Amico, Maura Cerioli. DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. In Michael Johnson, Varmo Vene, editors, Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Volume 4019 of Lecture Notes in Computer Science, pages 96-110, Springer, 2006. [doi]

This author has not been identified. Look up 'Matteo Dell Amico' in GoogleThis author has not been identified. Look up 'Maura Cerioli' in Google

runs on WebDSL