Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 8.
| 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:https://doi.org/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) |
| 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) |
|
| 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:https://doi.org/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) |
| 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 03029743. (doi:https://doi.org/10.1007/978-3-642-00867-2_14) (Full text available) |
|
| Boiten, Eerke Albert (2008) From ABZ to cryptography (abstract). In: Börger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul, eds. Lecture Notes in Computer Science. Abstract State Machines, B and Z, First International Conference, ABZ 2008. LNCS, 5238. Springer-Verlag Berlin ISBN 978-3-540-87602-1. (doi:https://doi.org/10.1007/978-3-540-87603-8<sub>4</sub>0) (Full text available) |
|
| 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:https://doi.org/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) |
| 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) |
