Giancarlo Pellegrino
Giancarlo Pellegrino
Home
Open Positions
Group
Scienceware
Publications
Student Projects
Raccoon: Automated Verification of Guarded Race Conditions in Web Applications
Simon Koch
,
Tim Sauer
,
Martin Johns
,
Giancarlo Pellegrino
January 2020
PDF
Cite
Type
Conference paper
Publication
The 35th ACM/SIGAPP Symposium on Applied Computing
Cite
×