%0 Conference Paper %1 conf/fase/MenghiSCG18 %A Menghi, Claudio %A Spoletini, Paola %A Chechik, Marsha %A Ghezzi, Carlo %B FASE %D 2018 %E Russo, Alessandra %E Schürr, Andy %I Springer %K dblp %P 169-188 %T Supporting Verification-Driven Incremental Distributed Design of Components. %U http://dblp.uni-trier.de/db/conf/fase/fase2018.html#MenghiSCG18 %V 10802 %@ 978-3-319-89363-1

@inproceedings{conf/fase/MenghiSCG18, added-at = {2018-07-10T00:00:00.000+0200}, author = {Menghi, Claudio and Spoletini, Paola and Chechik, Marsha and Ghezzi, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/272d7dc3c5e4e1d551fd134e59ca9abff/dblp}, booktitle = {FASE}, crossref = {conf/fase/2018}, editor = {Russo, Alessandra and Schürr, Andy}, ee = {https://doi.org/10.1007/978-3-319-89363-1_10}, interhash = {35f5cd0d578d23f4d3c0d78a98e700d2}, intrahash = {72d7dc3c5e4e1d551fd134e59ca9abff}, isbn = {978-3-319-89363-1}, keywords = {dblp}, pages = {169-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:58:19.000+0200}, title = {Supporting Verification-Driven Incremental Distributed Design of Components.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2018.html#MenghiSCG18}, volume = 10802, year = 2018 }