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]
@book{smpai-MikhailBK10, title = {Automated Database Applications Testing - Specification Representation for Automated Reasoning}, author = {Rana Farid Mikhail and Donald J. Berndt and Abraham Kandel}, year = {2010}, doi = {10.1142/7122}, url = {http://dx.doi.org/10.1142/7122}, researchr = {https://researchr.org/publication/smpai-MikhailBK10}, cites = {0}, citedby = {0}, volume = {76}, series = {Series in Machine Perception and Artificial Intelligence}, publisher = {WorldScientific}, isbn = {978-981-4469-13-5}, }