@inproceedings{zitouni_specifying_2010,
	title = {Specifying {Components} with {Compositional} {Patterns}, {LOTOS} and {Design} {By} {Contract}},
	booktitle = {{ISCA} 19th {International} {Conference} on {Software} {Engineeringand} {Data} {Engineering} ({SEDE}-2010) {June} 16-18, 2010, {Hilton} {Fisherman}'s {Wharf}, {San} {Francisco}, {CA}, {USA}},
	author = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},
	year = {2010},
	note = {Type: inproceedings},
	pages = {190--195},
}

{"_id":"q2Rf8iMM9DM34EQzk","bibbaseid":"zitouni-boufaida-seinturier-specifyingcomponentswithcompositionalpatternslotosanddesignbycontract-2010","author_short":["Zitouni, A.","Boufaida, M.","Seinturier, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Specifying Components with Compositional Patterns, LOTOS and Design By Contract","booktitle":"ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman's Wharf, San Francisco, CA, USA","author":[{"propositions":[],"lastnames":["Zitouni"],"firstnames":["Abdelhafid"],"suffixes":[]},{"propositions":[],"lastnames":["Boufaida"],"firstnames":["Mahmoud"],"suffixes":[]},{"propositions":[],"lastnames":["Seinturier"],"firstnames":["Lionel"],"suffixes":[]}],"year":"2010","note":"Type: inproceedings","pages":"190–195","bibtex":"@inproceedings{zitouni_specifying_2010,\n\ttitle = {Specifying {Components} with {Compositional} {Patterns}, {LOTOS} and {Design} {By} {Contract}},\n\tbooktitle = {{ISCA} 19th {International} {Conference} on {Software} {Engineeringand} {Data} {Engineering} ({SEDE}-2010) {June} 16-18, 2010, {Hilton} {Fisherman}'s {Wharf}, {San} {Francisco}, {CA}, {USA}},\n\tauthor = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},\n\tyear = {2010},\n\tnote = {Type: inproceedings},\n\tpages = {190--195},\n}\n\n","author_short":["Zitouni, A.","Boufaida, M.","Seinturier, L."],"key":"zitouni_specifying_2010","id":"zitouni_specifying_2010","bibbaseid":"zitouni-boufaida-seinturier-specifyingcomponentswithcompositionalpatternslotosanddesignbycontract-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/4441049/items?key=43ZOxDti5uWnzzY104blCxC4&format=bibtex&limit=100?","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}