Control Flow Analysis for Bio{A}mbients
Type
Journal paper [With referee]
Journal
Electr. Notes Theor. Comput. Sci.
Year
2007
Month
March
Vol.
180
pp.
65-79
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering