Strictness and Totality Analysis

K. L. Solberg, H. Riis Nielson, F. Nielson

TypeJournal paper [With referee]
JournalScience of Computer Programming
Year1998    Vol. 31    No. 1    pp. 113-145
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering