Media type: E-Article Title: Modeling in event-b - system and software engineering by Jean-Raymond Abrial Contributor: Russo, Aryldo G. Published: Association for Computing Machinery (ACM), 2011 Published in: ACM SIGSOFT Software Engineering Notes, 36 (2011) 2, Seite 38-39 Language: English DOI: 10.1145/1943371.1943378 ISSN: 0163-5948 Origination: Footnote: