When Is a Test Not a Proof?

Eleanor McMurtry Olivier Pereira Vanessa Teague

Published in: ESORICS (2) (2020)

Keyphrases

data structure
database
information systems
high level
multiscale
pairwise
software engineering