Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification

von Garzella, Jack J.
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)