Formalizing Object Oriented Design Patterns with Object-Z

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Multitopic Conference, 2006. INMIC '06
Toimittajat	MM Ahmed, M Malik
Kustantaja	IEEE
Sivut	–
Tila	Julkaistu - 2006
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi	conference
Ajanjakso	01/01/10 → …

Viittausmuodot

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

}