|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DamianiSchaefersW:ISoLA-2014 (In a collection) | |
| Author(s) | Ferruccio Damiani, Ina Schaefer, Sven Schuster and Tim Winkelmann |
| Title | « Delta-Trait Programming of Software Product Lines » |
| In | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change |
| Series | Lecture Notes in Computer Science |
| Editor(s) | Tiziana Margaria and Bernhard Steffen |
| Volume | 8802 |
| Page(s) | 289-303 |
| Year | 2014 |
| Publisher | Springer |
| ISBN number | 978-3-662-45233-2 |
| URL | http://dx.doi.org/10.1007/978-3-662-45234-9_21 |
| BibTeX code |
@incollection{DamianiSchaefersW:ISoLA-2014,
volume = {8802},
author = {Damiani, Ferruccio and Schaefer, Ina and Schuster, Sven and
Winkelmann, Tim},
series = {Lecture Notes in Computer Science},
booktitle = {Leveraging Applications of Formal Methods, Verification and
Validation. Technologies for Mastering Change},
editor = {Margaria, Tiziana and Steffen, Bernhard},
url = {http://dx.doi.org/10.1007/978-3-662-45234-9_21},
title = {Delta-Trait Programming of Software Product Lines},
isbn = {978-3-662-45233-2},
publisher = {Springer},
doi = {10.1007/978-3-662-45234-9_21},
pages = {289-303},
year = {2014},
}
|
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)