Non-deterministic Games and Program Analysis: An application to security (Extended Abstract) (0)

Cached

Download Links

by P. Malacaria , Chris Hankin
Venue:Proceedings of the Fourteenth International Symposium on Logic in Computer Science, Computer Society Press of the IEEE
Citations:21 - 4 self