Metadata only
Date
2011-12Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Electronic notes in theoretical computer scienceVolume
Pages / Article No.
Publisher
ElsevierEvent
Subject
Event-B; Formal modelling; Refinement; Development strategy; System developmentOrganisational unit
03634 - Basin, David / Basin, David
Notes
Available online 3 December 2011.More
Show all metadata
ETH Bibliography
yes
Altmetrics