Refinement of decomposed models by interface instantiation
Metadata only
Date
2014-11Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Science of Computer ProgrammingVolume
Pages / Article No.
Publisher
North-HollandSubject
Event-B; Decomposition; Refinement; External variables; Interface instantiationOrganisational unit
03634 - Basin, David / Basin, David
Notes
Received 15 February 2013, Revised 30 April 2014, Accepted 5 May 2014, Published online 20 May 2014.More
Show all metadata