DBLP Record 'conf/adt/HaslerLR82'

BibTeX

@inproceedings{DBLP:conf/adt/HaslerLR82,
  author    = {Klaus-Peter Hasler and
               Michael L{\"o}we and
               Michaela Reisin},
  title     = {An Interpreter for Algebraic Specifications with User Controlled
               Termination},
  booktitle = {ADT},
  year      = {1982},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}