BibTeX record conf/programm/LeszczylowskiW82

download as .bib file

@inproceedings{DBLP:conf/programm/LeszczylowskiW82,
  author    = {Jacek Leszczylowski and
               Martin Wirsing},
  title     = {A system for reasoning within and about algebraic specifications},
  booktitle = {Symposium on Programming},
  series    = {Lecture Notes in Computer Science},
  volume    = {137},
  pages     = {257--282},
  publisher = {Springer},
  year      = {1982}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics