Follow
( Publications: 26 | Followers: 0 )

Towards Shape Analysis for Device Drivers

Towards Shape Analysis for Device Drivers Hongseok Yang (Queen Mary, University of London) (Joint work with Josh Berdine, Cristiano Calcagno, Byron Cook, Dino ...

Publish on Category: All 0

0

Embed

Share

Upload

Towards Shape Analysis for Device Drivers