Verification of Business Rules Programs

Bruno Berstel-Da Silva. Verification of Business Rules Programs. Springer, 2014. [doi]

@book{Silva14,
  title = {Verification of Business Rules Programs},
  author = {Bruno Berstel-Da Silva},
  year = {2014},
  doi = {10.1007/978-3-642-40038-4},
  url = {http://dx.doi.org/10.1007/978-3-642-40038-4},
  researchr = {https://researchr.org/publication/Silva14},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {978-3-642-40037-7},
}