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

5. FoSSaCS 2002: Grenoble, France (Part of ETAPS 2002)

Mogens Nielsen, Uffe Engberg (Eds.): Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2303 Springer 2002, ISBN 3-540-43366-X BibTeX
@proceedings{DBLP:conf/fossacs/2002,
  editor    = {Mogens Nielsen and
               Uffe Engberg},
  title     = {Foundations of Software Science and Computation Structures, 5th
               International Conference, FOSSACS 2002. Held as Part of the Joint
               European Conferences on Theory and Practice of Software, ETAPS
               2002 Grenoble, France, April 8-12, 2002, Proceedings},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2303},
  year      = {2002},
  isbn      = {3-540-43366-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

Contributed Papers

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