Modeling in event-b - system and software engineering by Jean-Raymond Abrial

By J. Abrial. ACM SIGSOFT Softw. Eng. Notes, 2010

1,542 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Management Information Systems, Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/794c598e037ffac8b8dec326ba29a5dd9044ece6