Work

Formal methods applied to a floating-point number system

Year: 1989

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/32.24710

Author: G. Barrett

Institution: University of Oxford

Language: English

Topic: Numerical Methods and Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2157279226

FWCI: 9.201

Cites: 12

Cited by: 112

Related to: 10