scientific article; zbMATH DE number 2087560

zbMath1051.68745MaRDI QIDQ4738372

Markus Mohnen

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2304/23040046.htm

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)

Related Items

Combining Model Checking and Data-Flow Analysis, Julia: A Fresh Approach to Numerical Computing