Laura Felice. Using formal specifications in object oriented design. In Mehdi Khosrowpour, editor, Challenges of Information Technology Management in the 21st Century, 2000 Information Resources Management Association International Conference, Anchorage, Alaska, USA, May 21-24, 2000. pages 1062-1063, IDEA Group Publishing, 2000.
Abstract is missing.