Systems and software verification: model checking techniques and tools - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Béatrice Bérard. Systems and software verification: model checking techniques and tools. Springer, 2001. [doi]

@book{Berard01,
  title = {Systems and software verification: model checking techniques and tools},
  author = {Béatrice Bérard},
  year = {2001},
  url = {http://www.worldcat.org/oclc/46809889},
  researchr = {https://researchr.org/publication/Berard01},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {9783540415237},
}

runs on WebDSL