dblp.uni-trier.de www.uni-trier.de

1. IFM 1999: York, UK

Keijiro Araki, Andy Galloway, Kenji Taguchi (Eds.): Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. Springer 1999, ISBN 1-85233-107-0 BibTeX
@proceedings{DBLP:conf/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International
               Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29
               June 1999},
  booktitle = {IFM},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Z/Object-Z + CSP + Real Time

Temporal Logic

Z/Object-Z + Behaviour 1

State Charts

Semantic Models and Refinement

Z/Object-Z + Behaviour 2

(Abstract + Action) Systems

The B Method: Behaviour and Retrenchment

Copyright © Sat May 16 23:23:11 2009 by Michael Ley (ley@uni-trier.de)