Shape analysis for Mobile Ambients
Hanne Riis Nielson, Flemming Nielson
Type
Conference paper [With referee]
Conference
Proc. POPL'00
Year
2000
pp.
142-154
Publisher
ACM Press
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering