Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.

Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue

Browse the full FM paper archive.