On Normal Forms for Structured Specifications with Generating Constraints
Crossref DOI link: https://doi.org/10.1007/978-3-319-75396-6_15
Published Online: 2018-02-07
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Sannella, Donald http://orcid.org/0000-0003-4520-8924
Tarlecki, Andrzej http://orcid.org/0000-0002-7788-2991
License valid from 2018-01-01