scientific article; zbMATH DE number 1852161

zbMath1002.68621MaRDI QIDQ4787232

Richard Sharp, Alan Mycroft

Publication date: 9 January 2003

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

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99) Mathematical problems of computer architecture (68M07)

Uses Software

• SAFL

This page was built for publication: