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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 4.

Article

Boiten, Eerke A. and Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. The full text of this publication is not available from this repository.

Boiten, Eerke A. (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. The full text of this publication is not available from this repository.

Conference or workshop item

Boiten, Eerke A. (2010) Security specification: completeness, feasibility, refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Boiten, E.A. (2002) Mathematics of Program Construction: Sixth International Conference. In: 6th International Conference on Mathematics of Program Construction, 27-28 May 2004, Ede, The Netherlands. The full text of this publication is not available from this repository.

This list was generated on Wed May 22 09:39:16 2013 BST.