Forced Transformations of Occam Programs
F. Nielson, H. Riis Nielson
Type
Journal paper [With referee]
Journal
Information and Software Technology
Year
1992
Vol.
34
No.
2
pp.
91-96
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering