Automated Database Applications Testing. Specification Representation for Automated ReasoningRana Farid Mikhail99,20 €