CiE: Programs, Proofs, Processes (Special Issue)

TitleCiE: Programs, Proofs, Processes (Special Issue)
Publication TypeJournal Article
Year of Publication2012
AuthorsF, F, B L\"owe, E M
JournalTheory of Computing Systems
Volume51
Issue3
Export