BicarreguiDMW97'

BibTeX

@article{DBLP:journals/scp/BicarreguiDMW97,
  author    = {Juan Bicarregui and
               Jeremy Dick and
               Brian Matthews and
               Eoin Woods},
  title     = {Making the Most of Formal Specification Through Animation,
               Testing and Proof},
  journal   = {Sci. Comput. Program.},
  volume    = {29},
  number    = {1-2},
  year      = {1997},
  pages     = {53-78},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}