Effective Approaches to Abstraction Refinement for Automatic Software Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stefan Löwe. Effective Approaches to Abstraction Refinement for Automatic Software Verification. PhD thesis, University of Passau, Germany, 2017. [doi]

@phdthesis{dnb-19674,
  title = {Effective Approaches to Abstraction Refinement for Automatic Software Verification},
  author = {Stefan Löwe},
  year = {2017},
  url = {http://d-nb.info/1136130705},
  researchr = {https://researchr.org/publication/dnb-19674},
  cites = {0},
  citedby = {0},
  school = {University of Passau, Germany},
}

runs on WebDSL