BibTeX record journals/fmsd/Abarbanel-VinovABEGHRRSWY01

download as .bib file

@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 Syst. Des.},
  volume       = {19},
  number       = {1},
  pages        = {35--44},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011219209077},
  doi          = {10.1023/A:1011219209077},
  timestamp    = {Fri, 13 Mar 2020 10:55:16 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Abarbanel-VinovABEGHRRSWY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.