Formalizing Object Oriented Design Patterns with Object-Z

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Rauf I, Nadeem A, Khokhar M
Editors: Ahmed MM, Malik M
Publisher: IEEE
Publication year: 2006
Book title: Multitopic Conference, 2006. INMIC '06

Last updated on 2019-14-10 at 03:51