Programming by Construction

Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre

Research output: Book/Journal/Report › Commissioned report › Professional

Original language	Undefined/Unknown
Publisher	Turku Centre for Computer Science (TUCS)
ISBN (Print)	978-952-12-2978-7
Publication status	Published - 2013
MoE publication type	D4 Published development or research report or study

Cite this

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

}