1 book • 1 series
Automated Database Applications Testing: Specification Representation For Automated Reasoning (Series In Machine Perception And Artificial Intelligence, #76)