Research output

A validated real function calculus

Research output: Contribution to journalArticleAcademicpeer-review

Associated researcher

Associated organisations

View graph of relations

Details

Original languageUndefined/Unknown
Pages (from-to)437-467
Number of pages31
JournalMathematics in Computer Science
Volume5
DOIs
Publication statusPublished - 2011