BibTeX record conf/wrla/ArusoaieSER12

download as .bib file

@inproceedings{DBLP:conf/wrla/ArusoaieSER12,
  author    = {Andrei Arusoaie and
               Traian{-}Florin Serbanuta and
               Chucky Ellison and
               Grigore Rosu},
  title     = {Making Maude Definitions More Interactive},
  booktitle = {{WRLA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7571},
  pages     = {83--98},
  publisher = {Springer},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics