Metadata only
Date
2014Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedBook title
Proceedings of the 1st Workshop on Formal Integrated Development EnvironmentJournal / series
Electronic Proceedings in Theoretical Computer ScienceVolume
Pages / Article No.
Publisher
Open Publishing AssociationEvent
Organisational unit
03653 - Müller, Peter / Müller, Peter
More
Show all metadata
ETH Bibliography
yes
Altmetrics