Automated Database Applications Testing. Specification Representation for Automated ReasoningRana Farid Mikhail86,80 €