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 Mon Jul 28 00:52:37 2014 BST.