@inproceedings{
 title = {Specifying Components with Compositional Patterns, LOTOS and Design By Contract},
 type = {inproceedings},
 year = {2010},
 pages = {190-195},
 id = {f35023b5-db29-3ba5-aee1-0cc6a7fdd2a0},
 created = {2017-12-01T22:53:00.743Z},
 file_attached = {false},
 profile_id = {3f3cebd9-2c9e-33e2-9759-3b3c3deedc23},
 group_id = {6d2dc4f5-aea7-35c9-874f-1d63cc94ab65},
 last_modified = {2019-08-29T19:39:37.266Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {DBLP:conf/sede/ZitouniBS10},
 source_type = {inproceedings},
 private_publication = {false},
 bibtype = {inproceedings},
 author = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},
 booktitle = {ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman's Wharf, San Francisco, CA, USA}
}

{"_id":"q2Rf8iMM9DM34EQzk","bibbaseid":"zitouni-boufaida-seinturier-specifyingcomponentswithcompositionalpatternslotosanddesignbycontract-2010","author_short":["Zitouni, A.","Boufaida, M.","Seinturier, L."],"bibdata":{"title":"Specifying Components with Compositional Patterns, LOTOS and Design By Contract","type":"inproceedings","year":"2010","pages":"190-195","id":"f35023b5-db29-3ba5-aee1-0cc6a7fdd2a0","created":"2017-12-01T22:53:00.743Z","file_attached":false,"profile_id":"3f3cebd9-2c9e-33e2-9759-3b3c3deedc23","group_id":"6d2dc4f5-aea7-35c9-874f-1d63cc94ab65","last_modified":"2019-08-29T19:39:37.266Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"DBLP:conf/sede/ZitouniBS10","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","author":"Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel","booktitle":"ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman's Wharf, San Francisco, CA, USA","bibtex":"@inproceedings{\n title = {Specifying Components with Compositional Patterns, LOTOS and Design By Contract},\n type = {inproceedings},\n year = {2010},\n pages = {190-195},\n id = {f35023b5-db29-3ba5-aee1-0cc6a7fdd2a0},\n created = {2017-12-01T22:53:00.743Z},\n file_attached = {false},\n profile_id = {3f3cebd9-2c9e-33e2-9759-3b3c3deedc23},\n group_id = {6d2dc4f5-aea7-35c9-874f-1d63cc94ab65},\n last_modified = {2019-08-29T19:39:37.266Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {DBLP:conf/sede/ZitouniBS10},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},\n booktitle = {ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman's Wharf, San Francisco, CA, USA}\n}","author_short":["Zitouni, A.","Boufaida, M.","Seinturier, L."],"biburl":"https://bibbase.org/service/mendeley/3f3cebd9-2c9e-33e2-9759-3b3c3deedc23","bibbaseid":"zitouni-boufaida-seinturier-specifyingcomponentswithcompositionalpatternslotosanddesignbycontract-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/3f3cebd9-2c9e-33e2-9759-3b3c3deedc23","dataSources":["B9CSJFaMFh3P3584A","G2mFzxcNhwvPwybbi","PgsKQnKXuGehwfH4n","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["specifying","components","compositional","patterns","lotos","design","contract","zitouni","boufaida","seinturier"],"title":"Specifying Components with Compositional Patterns, LOTOS and Design By Contract","year":2010}