|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| BettiniDamSch-SCP:2015 (Article) | |
| Author(s) | Lorenzo Bettini, Ferruccio Damiani and Ina Schaefer |
| Title | « Implementing type-safe software product lines using parametric traits » |
| Journal | Science of Computer Programming |
| Volume | 97, Part 3 |
| Page(s) | 282 - 308 |
| Year | 2015 |
| ISSN number | 0167-6423 |
| URL | http://www.sciencedirect.com/science/article/pii/S0167642313001901 |
| BibTeX code |
@article{BettiniDamSch-SCP:2015,
number = {},
volume = {97, Part 3},
author = {Lorenzo Bettini and Ferruccio Damiani and Ina Schaefer},
issn = {0167-6423},
url = {http://www.sciencedirect.com/science/article/pii/S0167642313001901},
title = {Implementing type-safe software product lines using parametric
traits},
pages = {282 - 308},
journal = {Science of Computer Programming },
doi = {http://dx.doi.org/10.1016/j.scico.2013.07.016},
year = {2015},
}
|
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)