"Verification-Preserving Inlining in Automatic Separation Logic Verifiers."

Thibault Dardinier, Gaurav Parthasarathy, Peter Müller (2023)

Details and statistics

DOI: 10.1145/3586054

access: open

type: Journal Article

metadata version: 2023-05-17