Principled Software Development
Metadata only
Date
2018Type
- Monograph
ETH Bibliography
yes
Altmetrics
Publication status
publishedPublisher
SpringerSubject
Programming Languages; Software Verification and Validation; Software Product Lines; Concurrent Programming; Formal Languages; Software Development; Program ReasoningOrganisational unit
03653 - Müller, Peter / Müller, Peter
Related publications and datasets
More
Show all metadata
ETH Bibliography
yes
Altmetrics