Equivalence Checking for Partial Implementations Revisited.

Karina Gitina Sven Reimer Matthias Sauer Ralf Wimmer Christoph Scholl Bernd Becker

Published in: MBMV (2013)

Keyphrases

efficient implementation
data sets
information technology
special case
database
databases
wide range