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

8. AMAST 2000: Iowa City, Iowa, USA

Teodor Rus (Ed.): Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science 1816 Springer 2000, ISBN 3-540-67530-2 BibTeX
@proceedings{DBLP:conf/amast/2000,
  editor    = {Teodor Rus},
  title     = {Algebraic Methodology and Software Technology.  8th International
               Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000,
               Proceedings},
  booktitle = {AMAST},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  year      = {2000},
  isbn      = {3-540-67530-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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