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

Article

Boiten, Eerke Albert 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. (doi:10.1007/s00165-009-0147-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Aichernig, Bernhard K. and Boiten, Eerke Albert 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. (doi:10.1007/s00165-008-0100-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boiten, Eerke Albert 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. (doi:10.1007/s00165-006-0009-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Book section

Iliasov, Alexei and Arief, Budi and Romanovsky, Alexander (2009) Step-wise development of resilient ambient campus scenarios. In: Butler, Michael and Jones, Cliff and Romanovsky, Alexander and Troubitsyna, Elena, eds. Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science . Springer, pp. 297-323. ISBN 0302-9743. (doi:10.1007/978-3-642-00867-2_14) (Full text available)
[img]
Preview

Conference or workshop item

Boiten, Eerke Albert (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 Albert (2008) From ABZ to cryptography (abstract). In: ABZ 2008, 16-18 September 2008, London. (doi:10.1007/978-3-540-87603-8<sub>4</sub>0) (Full text available)
[img]
Preview

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Sun Dec 4 01:43:27 2016 GMT.