Automated database applications testing:specification representation for automated reasoning - Mikhail Rana Farid; Berndt Donald; Kandel Abraham (New Jersey World Scientific, 2010)
Appendices A-B, 143-184p.; Bibliography 185-192p.; Index 193-195p.
Keywords: Artificial intelligence; Automated data base; Machine perception; Computer Science