Giacomo Barbieri
1 talk by Giacomo Barbieri
Panel: Source Code Verification