Flow Logics and Operational Semantics
F. Nielson, H. Riis Nielson
Type
Journal paper [With referee]
Journal
Electronic Notes of Theoretical Computer Science
Year
1998
Vol.
10
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering