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

4. IFM 2004: Canterbury, Kent, England

Eerke A. Boiten, John Derrick, Graeme Smith (Eds.): Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999 Springer 2004, ISBN 3-540-21377-5 BibTeX
@proceedings{DBLP:conf/ifm/2004,
  editor    = {Eerke A. Boiten and
               John Derrick and
               Graeme Smith},
  title     = {Integrated Formal Methods, 4th International Conference, IFM
               2004, Canterbury, UK, April 4-7, 2004, Proceedings},
  booktitle = {IFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2999},
  year      = {2004},
  isbn      = {3-540-21377-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Tutorial

Contributed Papers

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