Chris Hankin

Showing the single result

{PDF} Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)