Proceedings of the 4th Rodin User and Developer Workshop

Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

Original language	English
Place of Publication	Turku
Publisher	Turku Center for Computer Science (TUCS)
ISBN (Print)	978-952-12-2899-5
Publication status	Published - 2013
MoE publication type	C2 Edited work

Cite this

@book{7fccd5a173f94e98bcccb5ff21487509,

title = "Proceedings of the 4th Rodin User and Developer Workshop",

editor = "Michael Butler and Stefan Hallerstede and Marina Walden",

year = "2013",

language = "English",

isbn = "978-952-12-2899-5",

series = "TUCS Lecture Notes",

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

number = "18",

}