Conference
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.
Authors
Zheng Y; Wang J; Wang K; Xue J
Editors
Misra J; Nipkow T; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
4085
Pagination
pp. 190-204
Publisher
Springer
Publication Date
January 1, 2006
ISBN-10
3-540-37215-6
Conference proceedings
FM