Automated Database Applications Testing: Specification Representation For Automated Reasoning

by

  • Publisher: World Scientific
  • Print ISBN: 9789812837288, 9812837280

  • eText ISBN: 9789812837295, 9812837299