DOI
https://doi.org/10.1007/s00165-007-0061-4
Year of Publication
2007
Type
Journals
Published in
Publication Title
An incremental development of the Mondex system in Event-B
Status
International
Page Numbers
61–77
Status of Paper
Published
Nature
SCOPUS
Publisher
Refereed/Peer Reviewed
Refereed
Month of Publication
Dec