%0 Book
%A MIKHAIL RANA FARID ET AL
%T AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING
%U /book/103195831/AUTOMATED-DATABASE-APPLICATIONS-TESTING-SPECIFICA/