%0 Conference Paper %1 conf/fm/ZhengWWX06 %A Zheng, Yujun %A Wang, Jinquan %A Wang, Kan %A Xue, Jinyun %B FM %D 2006 %E Misra, Jayadev %E Nipkow, Tobias %E Sekerinski, Emil %I Springer %K dblp %P 190-204 %T Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. %U http://dblp.uni-trier.de/db/conf/fm/fm2006.html#ZhengWWX06 %V 4085 %@ 3-540-37215-6

@inproceedings{conf/fm/ZhengWWX06, added-at = {2017-12-21T00:00:00.000+0100}, author = {Zheng, Yujun and Wang, Jinquan and Wang, Kan and Xue, Jinyun}, biburl = {https://www.bibsonomy.org/bibtex/2d7a3e97394afd435757ffb6b7add29d8/dblp}, booktitle = {FM}, crossref = {conf/fm/2006}, editor = {Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil}, ee = {https://doi.org/10.1007/11813040_14}, interhash = {7df09026fe2a6ba044bab8e81b24e008}, intrahash = {d7a3e97394afd435757ffb6b7add29d8}, isbn = {3-540-37215-6}, keywords = {dblp}, pages = {190-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:31.000+0200}, title = {Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2006.html#ZhengWWX06}, volume = 4085, year = 2006 }