BibTeX record conf/icse/EasterbrookCDGLPTT03

• > Home > conf/icse/EasterbrookCDGLPTT03

@inproceedings{DBLP:conf/icse/EasterbrookCDGLPTT03,
  author       = {Steve M. Easterbrook and
                  Marsha Chechik and
                  Benet Devereux and
                  Arie Gurfinkel and
                  Albert Y. C. Lai and
                  Victor Petrovykh and
                  Anya Tafliovich and
                  Christopher D. Thompson{-}Walsh},
  editor       = {Lori A. Clarke and
                  Laurie Dillon and
                  Walter F. Tichy},
  title        = {{\textbackslash}chiChek: {A} Model Checker for Multi-Valued Reasoning},
  booktitle    = {Proceedings of the 25th International Conference on Software Engineering,
                  May 3-10, 2003, Portland, Oregon, {USA}},
  pages        = {804--805},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICSE.2003.1201295},
  doi          = {10.1109/ICSE.2003.1201295},
  timestamp    = {Thu, 23 Mar 2023 23:58:06 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/EasterbrookCDGLPTT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}