Login / Signup

Ghost Code in Action: Automated Verification of a Symbolic Interpreter.

Benedikt F. H. BeckerClaude Marché
Published in: VSTTE (2019)
Keyphrases