Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Rana Farid Mikhail, Donald J. Berndt, Abraham Kandel. Automated Database Applications Testing - Specification Representation for Automated Reasoning. Volume 76 of Series in Machine Perception and Artificial Intelligence, WorldScientific, 2010. [doi]