Abstract interpretation of mobile ambients
Flemming Nielson, René Rydhof Hansen, Hanne Riis NielsonVolume:
47
Year:
2003
Language:
english
Pages:
31
DOI:
10.1016/s0167-6423(02)00131-4
File:
PDF, 362 KB
english, 2003