Programming by Construction

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	978-952-12-2978-7
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Viittausmuodot

@book{0a2f43c187ca482ca6b72445a09e304f,

title = "Programming by Construction",

author = "Mauno R{\"o}nkk{\"o} and Markus Stocker and Mats Neovius and Mikko Kolehmainen and Luigia Petre",

note = "TUCS Technical Report, No 1092, November 2013",

year = "2013",

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

isbn = "978-952-12-2978-7",

publisher = "Turku Centre for Computer Science (TUCS)",

}