scientific article; zbMATH DE number 2036333
From MaRDI portal
Publication:4445770
zbMath1030.68542MaRDI QIDQ4445770
Morten Rhiger, Bernd Grobauer, Olivier Danvy
Publication date: 2 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2196/21960108.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software