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

Group by: Item Type | Date | No Grouping

2013 2012 2010 2002

Number of items: 4.

2013

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.

2012

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.

2010

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

2002

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 Tue Jun 18 06:12:20 2013 BST.