BibTeX record conf/ecoopw/DrossopoulouEJLMP00

download as .bib file

@inproceedings{DBLP:conf/ecoopw/DrossopoulouEJLMP00,
  author    = {Sophia Drossopoulou and
               Susan Eisenbach and
               Bart Jacobs and
               Gary T. Leavens and
               Peter M{\"{u}}ller and
               Arnd Poetzsch{-}Heffter},
  editor    = {Jacques Malenfant and
               Sabine Moisan and
               Ana M. D. Moreira},
  title     = {Formal Techniques for Java Programs},
  booktitle = {Object-Oriented Technology, {ECOOP} 2000 Workshops, Panels, and Posters,
               Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1964},
  pages     = {41--54},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44555-2\_4},
  doi       = {10.1007/3-540-44555-2\_4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoopw/DrossopoulouEJLMP00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics