Giacomo Govi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Ruslan Mashinistov, Lino Gerlach, Paul Laycock, Andrea Formica, Giacomo Govi, Chris Pinkenburg
The HSF Conditions Database Reference Implementation. CoRR (2024)
Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
VyPR2: A Framework for Runtime Verification of Python Web Services. TACAS (2) (2019)