TY  - BOOK
AU  - Mikhail Rana Farid Et Al
TI  - Automated Database Applications Testing: Specification Representation for Automated Reasoning
SN  - 9789812837295
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/7122#t=toc
ER  -