Formalizing Object Oriented Design Patterns with Object-Z

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Multitopic Conference, 2006. INMIC '06
Redaktörer	MM Ahmed, M Malik
Förlag	IEEE
Sidor	–
Status	Publicerad - 2006
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - Varaktighet: 1 jan. 2010 → …

Konferens	conference
Period	01/01/10 → …

Citera det här

@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",

}