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

2. MPC 1992: Oxford, U.K.

Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Lecture Notes in Computer Science 669 Springer 1993, ISBN 3-540-56625-2 BibTeX
@proceedings{DBLP:conf/mpc/1992,
  editor    = {Richard S. Bird and
               Carroll Morgan and
               Jim Woodcock},
  title     = {Mathematics of Program Construction, Second International Conference,
               Oxford, U.K., June 29 - July 3, 1992, Proceedings},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {669},
  year      = {1993},
  isbn      = {3-540-56625-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Contributed Lectures

Additional Contributions

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