%0 Conference Paper %1 conf/fmco/BenvenisteCFMPS07 %A Benveniste, Albert %A Caillaud, Benoît %A Ferrari, Alberto %A Mangeruca, Leonardo %A Passerone, Roberto %A Sofronis, Christos %B FMCO %D 2007 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Graf, Susanne %E de Roever, Willem P. %I Springer %K based contract design %P 200-225 %T Multiple Viewpoint Contract-Based Specification and Design. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2007.html#BenvenisteCFMPS07 %V 5382 %@ 978-3-540-92187-5

@inproceedings{conf/fmco/BenvenisteCFMPS07, added-at = {2012-01-16T20:11:53.000+0100}, author = {Benveniste, Albert and Caillaud, Benoît and Ferrari, Alberto and Mangeruca, Leonardo and Passerone, Roberto and Sofronis, Christos}, biburl = {https://www.bibsonomy.org/bibtex/280613b69b721e307c93f2f682c85edd5/alessandropinto}, booktitle = {FMCO}, crossref = {conf/fmco/2007}, description = {dblp}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.}, ee = {http://dx.doi.org/10.1007/978-3-540-92188-2_9}, interhash = {1ee546514e77d4b454bb738e4a5de563}, intrahash = {80613b69b721e307c93f2f682c85edd5}, isbn = {978-3-540-92187-5}, keywords = {based contract design}, pages = {200-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2012-01-16T20:11:53.000+0100}, title = {Multiple Viewpoint Contract-Based Specification and Design.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2007.html#BenvenisteCFMPS07}, volume = 5382, year = 2007 }