Metadata only
Author
Hoang, Thai Son
Fürst, Andreas
Abrial, Jean-Raymond
Date
2013-05Type
- Journal Article
Publication status
publishedJournal / series
Software and systems modelingVolume
Pages
Publisher
SpringerSubject
Event-B; Formal methods; Design patterns; Formal modelling; Model reuseOrganisational unit
03634 - Basin, David
Notes
Received 15 June 2010, Accepted 17 November 2010, Published online 4 January 2011.More
Show all metadata