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

Formal Program Development 1993

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (Eds.): Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755 Springer 1993, ISBN 3-540-57499-9 BibTeX
@proceedings{DBLP:conf/ifip2-1/1993,
  editor    = {Bernhard M{\"o}ller and
               Helmuth Partsch and
               Stephen A. Schuman},
  title     = {Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art
               Report},
  booktitle = {Formal Program Development},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {755},
  year      = {1993},
  isbn      = {3-540-57499-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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