Automated Database Applications Testing: Specification Representation For Automated Reasoning Mikhail Rana Farid Innbundet / 2010 / Engelsk
