Verification of Business Rules Programs
MLA
Berstel-Da Silva, Bruno, and Berstel-Da Silva. Verification of Business Rules Programs. Springer Berlin Heidelberg, 2014.
APA
Berstel-Da Silva, B., & Berstel-Da Silva, B. Silva. (2014). Verification of Business Rules Programs. Springer Berlin Heidelberg.
Chicago
Berstel-Da Silva, Bruno, and Berstel-Da Silva. Verification of Business Rules Programs. : Springer Berlin Heidelberg, 2014.