@article{zitouni_contract-based_2011,
	title = {A contract-based language to specify design components},
	volume = {5},
	journal = {International Journal of Software Engineering and its Applications},
	author = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},
	year = {2011},
	note = {Type: article},
	pages = {71--88},
}

{"_id":"eeSoLFH5oiJ3TRN45","bibbaseid":"zitouni-boufaida-seinturier-acontractbasedlanguagetospecifydesigncomponents-2011","author_short":["Zitouni, A.","Boufaida, M.","Seinturier, L."],"bibdata":{"bibtype":"article","type":"article","title":"A contract-based language to specify design components","volume":"5","journal":"International Journal of Software Engineering and its Applications","author":[{"propositions":[],"lastnames":["Zitouni"],"firstnames":["Abdelhafid"],"suffixes":[]},{"propositions":[],"lastnames":["Boufaida"],"firstnames":["Mahmoud"],"suffixes":[]},{"propositions":[],"lastnames":["Seinturier"],"firstnames":["Lionel"],"suffixes":[]}],"year":"2011","note":"Type: article","pages":"71–88","bibtex":"@article{zitouni_contract-based_2011,\n\ttitle = {A contract-based language to specify design components},\n\tvolume = {5},\n\tjournal = {International Journal of Software Engineering and its Applications},\n\tauthor = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},\n\tyear = {2011},\n\tnote = {Type: article},\n\tpages = {71--88},\n}\n\n","author_short":["Zitouni, A.","Boufaida, M.","Seinturier, L."],"key":"zitouni_contract-based_2011","id":"zitouni_contract-based_2011","bibbaseid":"zitouni-boufaida-seinturier-acontractbasedlanguagetospecifydesigncomponents-2011","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/groups/4441049/items?key=43ZOxDti5uWnzzY104blCxC4&format=bibtex&limit=100?","dataSources":["B9CSJFaMFh3P3584A","G2mFzxcNhwvPwybbi","PgsKQnKXuGehwfH4n","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["contract","based","language","specify","design","components","zitouni","boufaida","seinturier"],"title":"A contract-based language to specify design components","year":2011}