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: 7.

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)

Aichernig, Bernhard K. and Boiten, Eerke and Butler, Michael and Derrick, John and Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (The full text of this publication is not available from this repository)

Boiten, Eerke 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 (2010) Security specification: completeness, feasibility, refinement. In: Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. (Full text available)
[img]
Preview

Boiten, Eerke (2008) From ABZ to cryptography (abstract). In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Giner-Sorolla, Roger and Viki, G. Tendayi and Butler, Michael Don't worry, be angry: Specific anger as a part of systematic persuasion against rape myths. In: the general meeting of the European Association for Experimental Social Psychology, July 2005, Würzburg, Germany. (Unpublished) (The full text of this publication is not available from this repository)

Giner-Sorolla, Roger and Butler, Michael Inducing attitude change in rape myth acceptance: Affective or cognitive disposition of the person and the message type. In: BPS Division of Forensic Psychology conference, March 2003, Leicester, UK. (Unpublished) (The full text of this publication is not available from this repository)

This list was generated on Wed Sep 3 01:09:38 2014 BST.