Formalizing Object Oriented Design Patterns with Object-Z

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Multitopic Conference, 2006. INMIC '06
Editors	MM Ahmed, M Malik
Publisher	IEEE
Pages	–
Publication status	Published - 2006
MoE publication type	A4 Article in a conference publication
Event	conference - Duration: 1 Jan 2010 → …

Conference	conference
Period	01/01/10 → …

Cite this

@inproceedings{f70983eb499340f1aaa10b5e80fc5831,

title = "Formalizing Object Oriented Design Patterns with Object-Z",

author = "Irum Rauf and A Nadeem and M Khokhar",

year = "2006",

language = "Odefinierat/ok{\"a}nt",

pages = "–",

editor = "MM Ahmed and M Malik",

booktitle = "Multitopic Conference, 2006. INMIC '06",

publisher = "IEEE",

note = "conference ; Conference date: 01-01-2010",

}