Toggle navigation
Home
People
Departments
Research
About
Login
Search
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Sekerinski, Emil
Zheng, Yujun
Wang, Jinquan
Wang, Kan
Xue, Jinyun
publication date
2006
published in
FM
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-37215-6
Additional Document Info
start page
190
end page
204
volume
4085