Sharing Ghost Variables in a Collection of Abstract Domains

Authors
Project Slides

Date
Friday, January 10, 2020
Event
VMCAI 2020
Location
🇺🇸 New Orleans, Louisiana, United States