Formal Models for Real Programs

Tutkimustuotos: Työpaperi › Working paper › Professional

Alkuperäiskieli	Englanti
Julkaisupaikka	Oslo
Sivut	119-128
Tila	Julkaistu - 1997
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	Research Report
Kustantaja	University of Oslo, Research Report 248
Numero	248

Siteeraa tätä

@techreport{732643a38cc946fba08955b84a98fa17,

title = "Formal Models for Real Programs",

author = "N. Husberg",

year = "1997",

language = "English",

series = "Research Report",

publisher = "University of Oslo, Research Report 248",

number = "248",

pages = "119--128",

type = "WorkingPaper",

institution = "University of Oslo, Research Report 248",

}