Sciweavers

CCS
2007
ACM

Verification condition generation for conditional information flow

13 years 9 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)