%0 Book %1 books/sp/Silva14 %A Silva, Bruno Berstel-Da %D 2012 %I Springer %K dblp %P 1-210 %T Verification of Business Rules Programs = Verifikation von Geschäftsregel-Programmen. %@ 978-3-642-40037-7

@book{books/sp/Silva14, added-at = {2021-07-17T00:00:00.000+0200}, author = {Silva, Bruno Berstel-Da}, biburl = {https://www.bibsonomy.org/bibtex/216becf720bc43c945bc9080d3e5aa395/dblp}, ee = {https://d-nb.info/1114829072}, interhash = {2ba1279f7253df616bc808ec94e9fd1d}, intrahash = {16becf720bc43c945bc9080d3e5aa395}, isbn = {978-3-642-40037-7}, keywords = {dblp}, pages = {1-210}, publisher = {Springer}, school = {University of Freiburg, Germany}, timestamp = {2024-04-09T07:53:24.000+0200}, title = {Verification of Business Rules Programs = Verifikation von Geschäftsregel-Programmen.}, year = 2012 }