Papers: 10.1007/978-3-030-53291-8_10

https://doi.org/10.1007/978-3-030-53291-8_10

MetaVal: Witness Validation via Verification

Cited by: 15
Author(s): Dirk Beyer, Martin Spiessl
Published: over 6 years ago

Software Mentions 1