The joy of formula manipulation

W.H.J. Feijen

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)89-96
JournalInformation Processing Letters
Volume77
Issue number2-4
DOIs
Publication statusPublished - 2001

Cite this