Automated database applications testing : specification representation for automated reasoning /

Bibliographic Details
Main Author:	Mikhail, Rana Farid
Other Authors:	Berndt, Donald J., Kandel, Abraham
Format:	Book
Language:	English
Published:	Singapore ; Hackensack, N.J. : World Scientific Publishing Company, 2010.
Series:	Series in machine perception and artificial intelligence ; v. 76.
Subjects:	Computer software > Testing > Automation. Database design.

Remote Storage