C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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