• I
  • ICFEM
  • 2000
  • Third IEEE International Conference on Formal Engineering Methods (ICFEM'00)
Advanced Search 
Third IEEE International Conference on Formal Engineering Methods (ICFEM'00)
York, England
September 04-September 07
ISBN: 0-7695-0822-7
Table of Contents
Invited Speaker
Development
Structuring
K. Lano, King's College London
K. Androutsopoulos, King's College London
P. Kan, King's College London
pp. 25
Michihiro Matsumoto, Japan Advanced Institute of Science and Technology
Kokichi Futatsugi, Japan Advanced Institute of Science and Technology
pp. 35
Arun Venkataraman, University of Cincinnati
Murali Rangarajan, University of Cincinnati
Perry Alexander, University of Kansas
pp. 45
Algebraic Approaches
Verification
Dmitri Chkliaev, Eindhoven University of Technology
Jozef Hooman, Eindhoven University of Technology
Peter van der Stok, University of Nijmegen
pp. 89
Formal and Informal Notations
Claudia Pons, Universidad Nacional de La Plata
Gabriel Baum, Universidad Nacional de La Plata
pp. 101
Wolfgang Grieskamp, Technische Universit?t Berlin
Markus Lepper, Technische Universit?t Berlin
pp. 111
Ian MacColl, University of Queensland
David Carrington, University of Queensland
pp. 121
Retrenchment
R. Banach, Manchester University
M. Poppleton, Manchester University and Open University
pp. 143
Z: Theory and Practice
R. Arthan, Lemma 1 Ltd
P. Caseley, DERA Malvern
C. O'Halloran, DERA Malvern
A. Smith, DERA Malvern
pp. 169
Animation
Usage of this product signifies your acceptance of the Terms of Use.