%0 Conference Paper %1 conf/serp/CooperDDD03 %A Cooper, Kendra M. L. %A Dai, Lirong %A Deng, Yi %A Dong, Jing %B Software Engineering Research and Practice %D 2003 %E Al-Ani, Ban %E Arabnia, Hamid R. %E Mun, Youngsong %I CSREA Press %K dblp %P 68-73 %T Developing a Formal Design Analysis Framework. %U http://dblp.uni-trier.de/db/conf/serp/serp2003-1.html#CooperDDD03 %@ 1-932415-19-X

@inproceedings{conf/serp/CooperDDD03, added-at = {2020-11-23T00:00:00.000+0100}, author = {Cooper, Kendra M. L. and Dai, Lirong and Deng, Yi and Dong, Jing}, biburl = {https://www.bibsonomy.org/bibtex/2501dfa883cbba856216cb0f138b379bc/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2003-1}, editor = {Al-Ani, Ban and Arabnia, Hamid R. and Mun, Youngsong}, interhash = {c3e887900d6ac306c61e3943b401a92b}, intrahash = {501dfa883cbba856216cb0f138b379bc}, isbn = {1-932415-19-X}, keywords = {dblp}, pages = {68-73}, publisher = {CSREA Press}, timestamp = {2020-11-24T11:41:29.000+0100}, title = {Developing a Formal Design Analysis Framework.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2003-1.html#CooperDDD03}, year = 2003 }