Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Title of host publication | Unifying Theories of Programming |
---|---|
Date | Published - 6 Jan 2015 |
Pages | 21-41 |
Number of pages | 21 |
Publisher | SPRINGER |
Editors | David Naumann |
Volume | 8963 |
Original language | English |
ISBN (Print) | 978-3-319-14805-2 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
© 2015, Springer International Publishing Switzerland.
Project: Research project (funded) › Research
Find related publications, people, projects, datasets and more using interactive charts.