Programming by Construction

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Originalspråk	Odefinierat/okänt
Förlag	Turku Centre for Computer Science (TUCS)
ISBN (tryckt)	978-952-12-2978-7
Status	Publicerad - 2013
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Citera det här

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

}