Projects per year
Original language | English |
---|---|
Title of host publication | Unifying Theories of Programming |
Subtitle of host publication | 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers |
Editors | David Naumann |
Publisher | Springer |
Pages | 21-41 |
Number of pages | 21 |
Volume | 8963 |
ISBN (Print) | 978-3-319-14805-2 |
DOIs | |
Publication status | Published - 6 Jan 2015 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Bibliographical note
© 2015, Springer International Publishing Switzerland.Projects
- 1 Finished
-
COMPASS: Comprehensive Modelling for Advanced Systems of Systems
1/10/11 → 30/09/14
Project: Research project (funded) › Research