On Normal Forms for Structured Specifications with Generating Constraints

Donald Sannella, Andrzej Tarlecki. On Normal Forms for Structured Specifications with Generating Constraints. In Reiko Heckel, Gabriele Taentzer, editors, Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig. Volume 10800 of Lecture Notes in Computer Science, pages 266-284, Springer, 2018. [doi]

Authors

Donald Sannella

This author has not been identified. It may be one of the following persons: Look up 'Donald Sannella' in Google

Andrzej Tarlecki

This author has not been identified. Look up 'Andrzej Tarlecki' in Google