search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Refine

Keyphrases

Publications

volume 70, number 3, 2002

BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002 Refine 70 (3) (2002)

1994

Lindsay Groves
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. Refine (1994)
Joakim von Wright
Program Refinement by Theorem Prover. Refine (1994)
Colin J. Fidge
Proof Obligations for Real-Time Refinement. Refine (1994)
Mike Ainsworth, Peter J. L. Wallis
Co-Refinement. Refine (1994)
Howard P. Haughton, Kevin Lano
Testing and Safety Analysis of AM (Abstract Machine) Specifications. Refine (1994)
Kevin Lano, Howard P. Haughton
Improving the Process of System Specification and Refinement in B. Refine (1994)
Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine (1994)
David Garlan
Using Refinement to Understand Architectural Connection. Refine (1994)
Kevin Lano
Refinement in Object-Oriented Specification Languages. Refine (1994)
Theodore S. Norvell
Machine Code Programs are Predicates Too. Refine (1994)
Yves Ledru, Pierre Collette
Environment-based Development of Reactive Systems. Refine (1994)
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994 Refine (1994)
Juan Bicarregui
Operation Semantics with Read and Write Frames. Refine (1994)
Qiwen Xu, Jifeng He
Laws of Parallel Programming with Shared Variables. Refine (1994)
Pierre Bieber, Nora Boulahia-Cuppens
Formal Development of Authentication Protocols. Refine (1994)
Raymond G. Nickson, Lindsay J. Groves
Metavariables and Conditional Refinements in the Refinement Calculus. Refine (1994)

1992