Proceedings of the 4th Rodin User and Developer Workshop

Michael Butler (Editor), Stefan Hallerstede (Editor), Marina Walden (Editor)

Research output: Book/Journal/ReportEdited Book/Edited JournalScientificpeer-review

Original languageEnglish
Place of PublicationTurku
PublisherTurku Center for Computer Science (TUCS)
ISBN (Print)978-952-12-2899-5
Publication statusPublished - 2013
MoE publication typeC2 Edited work

Publication series

NameTUCS Lecture Notes
ISSN (Print)1797-8823
ISSN (Electronic)1797-8831

Cite this