VSL 2014: VIENNA SUMMER OF LOGIC 2014

Automating the Verification of Floating-Point Algorithms

Author: Guillaume Melquiond

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Automating the Verification of Floating-Point Algorithms
Authors:Guillaume Melquiond
Proceedings:SMT 2014 Proceedings
Editors: Philipp Ruemmer and Christoph M. Wintersteiger
Keywords:
Abstract:
Pages:1
Talk:Jul 18 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program