Unifying theories of programming 5th international symposium, UTP 2014 Singapore, may 13, 2014 revised selected papers

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationUnifying Theories of Programming - 5th International Symposium, UTP 2014, Revised Selected Papers
EditorsDavid Naumann
ISBN (Electronic)9783319148052
DOIs
StatePublished - 2015
Event5th International Symposium on Unifying Theories of Programming, UTP 2014 - Singapore, Singapore
Duration: 13 May 201413 May 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8963
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Symposium on Unifying Theories of Programming, UTP 2014
Country/TerritorySingapore
CitySingapore
Period13/05/1413/05/14

Cite this