Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
Boiten, Eerke Albert (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Review of: Modeling in Event-B by Abrial, Jean-Raymond. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. (doi:https://doi.org/10.1017/S0956796812000081) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Boiten, Eerke Albert (2010) Security specification: completeness, feasibility, refinement. In: Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. (Full text available) |