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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 3.

Article

Boiten, Eerke and Butler, Michael and Derrick, John and Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. The full text of this publication is not available from this repository.

Boiten, E.A. and Butler, Michael (2006) Guest Editorial: Editorial for the FAC Special Issue based on derivative papers from "Refine ’05". Formal Aspects of Computing, 18 (3). p. 263. ISSN 0934-5043. 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.

This list was generated on Thu May 23 21:01:30 2013 BST.