|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CazGiaSha16 (In proceedings) | |
| Author(s) | Walter Cazzola, Paola Giannini and Albert Shaqiri |
| Title | « Formal Attributes Traceability in Modular Language Development Frameworks » |
| In | Proceedings of {ICTCS} 2015, the 16th Italian Conference on Theoretical Computer Science |
| Series | Electronic Notes in Theoretical Computer Science |
| Volume | 322 |
| Page(s) | 119 - 134 |
| Year | 2016 |
| ISSN number | 1571-0661 |
| URL | http://www.sciencedirect.com/science/article/pii/S1571066116300172 |
| BibTeX code |
@inproceedings{CazGiaSha16,
volume = {322},
author = {Walter Cazzola and Paola Giannini and Albert Shaqiri},
issn = {1571-0661},
series = {Electronic Notes in Theoretical Computer Science },
booktitle = {Proceedings of \{ICTCS\} 2015, the 16th Italian Conference on
Theoretical Computer Science },
url = {http://www.sciencedirect.com/science/article/pii/S1571066116300172},
title = {Formal Attributes Traceability in Modular Language Development
Frameworks },
pages = {119 - 134},
year = {2016},
doi = {http://dx.doi.org/10.1016/j.entcs.2016.03.009},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)