BibTeX record conf/dac/YoungMSTHN98

download as .bib file

@inproceedings{DBLP:conf/dac/YoungMSTHN98,
  author    = {James Shin Young and
               Josh MacDonald and
               Michael Shilman and
               Abdallah Tabbara and
               Paul N. Hilfinger and
               A. Richard Newton},
  title     = {Design and Specification of Embedded Systems in Java Using Successive,
               Formal Refinement},
  booktitle = {{DAC}},
  pages     = {70--75},
  publisher = {{ACM} Press},
  year      = {1998}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics