Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Conference or workshop item

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)


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: (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)

This list was generated on Wed Jun 20 21:17:27 2018 BST.