UTP By Example: Designs

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Original languageEnglish
Title of host publicationEngineering Trustworthy Software Systems
Subtitle of host publicationSecond International School, SETSS 2016 Chongqing
EditorsBowen Jonathan P., Zhiming Liu, Zili Zhang
Number of pages35
VolumeLNCS 10215
ISBN (Electronic)9783319568416
ISBN (Print)9783319568409
Publication statusPublished - 6 Apr 2017

Bibliographical note

© Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Cite this