Model Checking C Programs with MSVL - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang. Model Checking C Programs with MSVL. In SOFL. pages 87-103, 2012. [doi]

@inproceedings{YuDTY12,
  title = {Model Checking C Programs with MSVL},
  author = {Yan Yu and Zhenhua Duan and Cong Tian and Mengfei Yang},
  year = {2012},
  doi = {10.1007/978-3-642-39277-1_7},
  url = {http://dx.doi.org/10.1007/978-3-642-39277-1_7},
  researchr = {https://researchr.org/publication/YuDTY12},
  cites = {0},
  citedby = {0},
  pages = {87-103},
  booktitle = {SOFL},
}

runs on WebDSL