|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| damiani2017ipm (In proceedings) | |
| Author(s) | Ferruccio Damiani, Michael Lienhardt and Luca Paolini |
| Title | « A Formal Model for Multi SPLs » |
| In | Pre-proceedings of Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 |
| Series | Pre-proceedings of IPM |
| Editor(s) | Mehdi Dastani and Marjan Sirjani |
| Volume | 10522 |
| Page(s) | 16--31 |
| Year | 2017 |
| Publisher | IPM |
| URL | http://fsen.ir/2017/files/Preproceedings.pdf |
| Note | Best paper award, see http://fsen.ir/2017/Default.aspx |
| BibTeX code |
@inproceedings{damiani2017ipm,
volume = 10522,
author = {Ferruccio Damiani and Michael Lienhardt and Luca Paolini},
note = {Best paper award, see {http://fsen.ir/2017/Default.aspx}},
series = {Pre-proceedings of IPM},
booktitle = {Pre-proceedings of Fundamentals of Software Engineering - 7th
International Conference, {FSEN} 2017, Tehran, Iran, April 26-28,
2017},
editor = {Mehdi Dastani and Marjan Sirjani},
url = {http://fsen.ir/2017/files/Preproceedings.pdf},
tag = {IPM Pre-proceedings},
title = {A Formal Model for Multi SPLs},
publisher = {IPM},
pages = {16--31},
year = 2017,
}
|
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)