Metadata only
Date
2014Type
- Conference Paper
Publication status
publishedBook title
FM 2014: Formal MethodsVolume
Pages / Article No.
Publisher
Springer, 2014Event
Organisational unit
03594 - Meyer, Bertrand (emeritus)
More
Show all metadata