Abarbanel-VinovABEGHRRSWY01'

BibTeX

@article{DBLP:journals/fmsd/Abarbanel-VinovABEGHRRSWY01,
  author    = {Yael Abarbanel-Vinov and
               Neta Aizenbud-Reshef and
               Ilan Beer and
               Cindy Eisner and
               Daniel Geist and
               Tamir Heyman and
               Iris Reuveni and
               Eran Rippel and
               Irit Shitsevalov and
               Yaron Wolfsthal and
               Tali Yatzkar-Haham},
  title     = {On the Effective Deployment of Functional Formal Verification},
  journal   = {Formal Methods in System Design},
  volume    = {19},
  number    = {1},
  year      = {2001},
  pages     = {35-44},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}