Automating the verification of floating-point programs
type: Item
instance of: scholarly article
title: Automating the verification of floating-point programs
zbMATH Open document ID: 1403.68223
DOI: 10.1007/978-3-319-72308-2_7
author: Clément Fumex
author: Claude Marché
author: Yannick Moy
publication date: 2018-12-07T00:00:00Z
full work available at URL: article.pdf
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6990586
describes a project that uses: Why3
MaRDI profile type: Publication
OpenAlex ID: W2741979953
description: scientific article; zbMATH DE number 6990586