Login / Signup
Certifying Inexpressibility.
Orna Kupferman
Salomon Sickert
Published in:
FoSSaCS (2021)
Keyphrases
</>
software systems
test data