%0 Conference Paper %1 conf/tools/WangLPZZ99 %A Wang, Yunfeng %A Li, Bixin %A Pang, Jun %A Zha, Ming %A Zheng, Guoliang %B TOOLS (31) %D 1999 %I IEEE Computer Society %K dblp %P 261-266 %T A Formal Software Development Approach Based on COOZ and Refinement Calculus. %U http://dblp.uni-trier.de/db/conf/tools/tools31-1999.html#WangLPZZ99 %@ 0-7695-0393-4

@inproceedings{conf/tools/WangLPZZ99, added-at = {2023-03-23T00:00:00.000+0100}, author = {Wang, Yunfeng and Li, Bixin and Pang, Jun and Zha, Ming and Zheng, Guoliang}, biburl = {https://www.bibsonomy.org/bibtex/2e77e4a4e1e4302425328eb14a05382fc/dblp}, booktitle = {TOOLS (31)}, crossref = {conf/tools/31-1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796492}, interhash = {aed72a807a1641d91c5896c143841632}, intrahash = {e77e4a4e1e4302425328eb14a05382fc}, isbn = {0-7695-0393-4}, keywords = {dblp}, pages = {261-266}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:50:44.000+0200}, title = {A Formal Software Development Approach Based on COOZ and Refinement Calculus.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools31-1999.html#WangLPZZ99}, year = 1999 }