Automated Database Applications Testing: Specification Representation for Automated Reasoning - Mikhail Rana Farid Et Al (World Scientific, 2010)
Keywords: Computer Science