Sciweavers

Share
LICS
1999
IEEE

Non-Deterministic Games and Program Analysis: An Application to Security

9 years 1 months ago
Non-Deterministic Games and Program Analysis: An Application to Security
Pasquale Malacaria, Chris Hankin
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LICS
Authors Pasquale Malacaria, Chris Hankin
Comments (0)
books