scientific article; zbMATH DE number 1852159

zbMath1002.68677MaRDI QIDQ4787230

Katherine Kohatsu, Roope Kaivola

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440196

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Mathematical problems of computer architecture (68M07)

Related Items (2)

Symbolic Trajectory Evaluation ⋮ Formal verification of the VAMP floating point unit

This page was built for publication: