%0 Conference Paper %1 conf/cts/MartinelliSSA13 %A Martinelli, Fabio %A Saracino, Andrea %A Sgandurra, Daniele %A Aldini, Alessandro %B CTS %D 2013 %E Fox, Geoffrey Charles %E Smari, Waleed W. %I IEEE %K dblp %P 139-142 %T A collaborative framework for generating probabilistic contracts. %U http://dblp.uni-trier.de/db/conf/cts/cts2013.html#MartinelliSSA13 %@ 978-1-4673-6403-4

@inproceedings{conf/cts/MartinelliSSA13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Martinelli, Fabio and Saracino, Andrea and Sgandurra, Daniele and Aldini, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2fe91ee3a6af0bf0e2d6bdccccf091546/dblp}, booktitle = {CTS}, crossref = {conf/cts/2013}, editor = {Fox, Geoffrey Charles and Smari, Waleed W.}, ee = {https://doi.org/10.1109/CTS.2013.6567219}, interhash = {878e54c77ec70a59394860d081c58ed2}, intrahash = {fe91ee3a6af0bf0e2d6bdccccf091546}, isbn = {978-1-4673-6403-4}, keywords = {dblp}, pages = {139-142}, publisher = {IEEE}, timestamp = {2019-10-17T16:42:01.000+0200}, title = {A collaborative framework for generating probabilistic contracts.}, url = {http://dblp.uni-trier.de/db/conf/cts/cts2013.html#MartinelliSSA13}, year = 2013 }