Sciweavers

Share
CCS
2007
ACM

Verification condition generation for conditional information flow

10 years 1 months ago
Verification condition generation for conditional information flow
Torben Amtoft, Anindya Banerjee
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CCS
Authors Torben Amtoft, Anindya Banerjee
Comments (0)
books