DBLP Record 'conf/wadt/1997'

BibTeX

@proceedings{DBLP:conf/wadt/1997,
  editor    = {Francesco Parisi-Presicce},
  title     = {Recent Trends in Algebraic Development Techniques, 12th
               International Workshop, WADT'97, Tarquinia, Italy, June
               1997, Selected Papers},
  booktitle = {WADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1376},
  year      = {1997},
  isbn      = {3-540-64299-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}