DBLP BibTeX Record 'conf/tacas/RuysB98'

@inproceedings{DBLP:conf/tacas/RuysB98,
  author    = {Theo C. Ruys and
               Ed Brinksma},
  title     = {Experience with Literate Programming in the Modelling and
               Validation of Systems},
  booktitle = {TACAS},
  year      = {1998},
  pages     = {393-408},
  ee        = {http://dx.doi.org/10.1007/BFb0054185},
  crossref  = {DBLP:conf/tacas/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tacas/1998,
  editor    = {Bernhard Steffen},
  title     = {Tools and Algorithms for Construction and Analysis of Systems,
               4th International Conference, TACAS '98, Held as Part of
               the European Joint Conferences on the Theory and Practice
               of Software, ETAPS'98, Lisbon, Portugal, March 28 - April
               4, 1998, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1384},
  year      = {1998},
  isbn      = {3-540-64356-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}