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)