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

1. FME 1993: Odense, Denmark

Jim Woodcock, Peter Gorm Larsen (Eds.): FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670 Springer 1993, ISBN 3-540-56662-7 BibTeX
@proceedings{DBLP:conf/fm/1993,
  editor    = {Jim Woodcock and
               Peter Gorm Larsen},
  title     = {FME '93: Industrial-Strength Formal Methods, First International
               Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
               1993, Proceedings},
  booktitle = {FME},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {670},
  year      = {1993},
  isbn      = {3-540-56662-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Industrial Usage Reports

Papers

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