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
Publication statusPublished - 2013
MoE publication typeC2 Edited books

Publication series

NameTUCS Lecture Notes
PublisherTUCS
No.18

Cite this