Modeling in Event-B system and software engineering
Year: 2010
Type: article
Author: Abrial, Jean-Raymond
Institution: ETH Zurich
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1556900989