Benoît Fraikin, Marc Frappier, Régine Laleau. State-based versus event-based specifications for information systems: a comparison of B and eb:::3:::. Software and Systems Modeling, 4(3):236-257, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.