Verified Calculations

Publisher Website

1 January 2014

book chapter
conference paper
Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science

p. 170-190
https://doi.org/10.1007/978-3-642-54108-7_9

Abstract

No abstract available

Keywords

Cited by 16 articles