19:41
[PLDI24] Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
ACM SIGPLAN
212 views
View & DownloadACM SIGPLAN
212 views
View & DownloadPLDI2016 Videos
354 views
View & DownloadSimons Institute for the Theory of Computing
151 views
View & DownloadCyber-Physical Systems Lab
229 views
View & Download