2024-03-28T09:49:35Z
https://oai.zbmath.org/v1/
oai:zbmath.org:6609751
2016-08-05T16:48:40Z
68
Cazzola, Walter; Giannini, Paola; Shaqiri, Albert
2016
6609751
English
https://zbmath.org/06609751
Content generated by zbMATH Open, such as reviews,
classifications, software, or author disambiguation data,
are distributed under CC-BY-SA 4.0. This defines the license for the
whole dataset, which also contains non-copyrighted bibliographic
metadata and reference data derived from I4OC (CC0). Note that the API
only provides a subset of the data in the zbMATH Open Web interface. In
several cases, third-party information, such as abstracts, cannot be
made available under a suitable license through the API. In those cases,
we replaced the data with the string 'zbMATH Open Web Interface contents
unavailable due to conflicting licenses.'
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9--11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 119-134, electronic only (2016).
68N15
Formal attributes traceability in modular language development frameworks
a