Justifications for the event-B modelling notation

Thumbnail
Metadata only
Author
Hallerstede, Stefan
Date
2007
Type
  • Other Conference Item
Publication status
published
External links
Full text via SFX
Journal / series
B 2007: Formal Specification and Development in B, Proceedings
Volume
4355
Pages
49 - 63
Publisher
Springer
Event
7th International Conference of B Users, Besancon, France, January 17-19, 2007
Notes
.
More
Show all metadata
Altmetrics