Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Teaching
Open Positions
Internships/Assistants/Theses
Tim Sauer
Latest
Raccoon: Automated Verification of Guarded Race Conditions in Web Applications
Cite
×