Chapter
A Contract-Based Approach to Ensuring Component Interoperability in Event-B
Authors
Laibinis L; Troubitsyna E
Book title
From Action Systems to Distributed Systems
Pagination
pp. 81-96
Publisher
Taylor & Francis
Publication Date
May 12, 2016
DOI
10.1201/b20053-9