Automated database applications testing : specification representation for automated reasoning /
Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
- Singapore : World Scientific, 2010.
- xiv, 195 p. : ill. ; 24 cm.
- Series in machine perception and artificial intelligence ; v. 76 .
Includes bibliographical references (p. 185-192) and index.