"Forward and Backward Static Analysis for Critical numerical accuracy in ..."

Somasundaram Kanagasabapathi, M. G. Thushara (2020)

Details and statistics

DOI: 10.7494/CSCI.2020.21.2.3421

access: open

type: Journal Article

metadata version: 2020-07-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics