@article{zitouni_rigorous_2012,
	title = {Rigorous {Description} {Of} {Design} {Components} {Functionality}: {An} {Approach} {Based} {Contract}},
	volume = {9},
	journal = {International Journal of Computer Science Issues},
	author = {Zitouni, Abdelhafid},
	year = {2012},
	note = {Type: article},
	pages = {187--196},
}

{"_id":"hG96sAuEzjTKTucML","bibbaseid":"zitouni-rigorousdescriptionofdesigncomponentsfunctionalityanapproachbasedcontract-2012","author_short":["Zitouni, A."],"bibdata":{"bibtype":"article","type":"article","title":"Rigorous Description Of Design Components Functionality: An Approach Based Contract","volume":"9","journal":"International Journal of Computer Science Issues","author":[{"propositions":[],"lastnames":["Zitouni"],"firstnames":["Abdelhafid"],"suffixes":[]}],"year":"2012","note":"Type: article","pages":"187–196","bibtex":"@article{zitouni_rigorous_2012,\n\ttitle = {Rigorous {Description} {Of} {Design} {Components} {Functionality}: {An} {Approach} {Based} {Contract}},\n\tvolume = {9},\n\tjournal = {International Journal of Computer Science Issues},\n\tauthor = {Zitouni, Abdelhafid},\n\tyear = {2012},\n\tnote = {Type: article},\n\tpages = {187--196},\n}\n\n","author_short":["Zitouni, A."],"key":"zitouni_rigorous_2012","id":"zitouni_rigorous_2012","bibbaseid":"zitouni-rigorousdescriptionofdesigncomponentsfunctionalityanapproachbasedcontract-2012","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":["rigorous","description","design","components","functionality","approach","based","contract","zitouni"],"title":"Rigorous Description Of Design Components Functionality: An Approach Based Contract","year":2012}