Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Publication date | 2013 |
---|---|
Host publication | Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday |
Editors | Zhiming Liu, Jim Woodcock, Huibiao Zhu |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 196-212 |
Number of pages | 17 |
ISBN (electronic) | 9783642396984 |
ISBN (print) | 9783642396977 |
<mark>Original language</mark> | English |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 8051 |
ISSN (Print) | 0302-9743 |
ISSN (electronic) | 1611-3349 |