Sharing Ghost Variables in a Collection of Abstract Domains

Authors
Projet Diapositives

Date
Friday, January 10, 2020
Évènement
VMCAI 2020
Lieu
🇺🇸 New Orleans, Louisiana, United States