Yasser Kotb, Takuya Katayama. A Novel Technique to Verify the UML Use Case Diagrams. In Peter Kokol, editor, Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria. pages 300-305, IASTED/ACTA Press, 2006.
No references recorded for this publication.
No citations of this publication recorded.