Verification of Business Rules Programs
Bruno Berstel Da Silva
Verification of Business Rules Programs - 2014 - Springer 2014
9783642400384
Computer Science
Computer Science Logic and Foundations of Programming
Verification of Business Rules Programs - 2014 - Springer 2014
9783642400384
Computer Science
Computer Science Logic and Foundations of Programming