Javier Cámara, David Garlan, Bradley R. Schmerl
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems
ECSA, 2017.
@inproceedings{ECSA-2017-CamaraGS,
	author        = "Javier Cámara and David Garlan and Bradley R. Schmerl",
	booktitle     = "{Proceedings of the 11th European Conference on Software Architecture}",
	doi           = "10.1007/978-3-319-65831-5_1",
	isbn          = "['978-3-319-65830-8', '978-3-319-65831-5']",
	pages         = "3--21",
	publisher     = "{Springer}",
	title         = "{Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems}",
	year          = 2017,
}











