External and internal choice with event groups in Event-B
From MaRDI portal
Publication:1941871
DOI10.1007/s00165-012-0239-2zbMath1259.68121OpenAlexW2046494829WikidataQ59625866 ScholiaQ59625866MaRDI QIDQ1941871
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/341169/1/twochoice.pdf
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: External and internal choice with event groups in Event-B