Justifications for the event-B modelling notation

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