scientific article; zbMATH DE number 1738291
From MaRDI portal
Publication:4529773
zbMath0984.68035MaRDI QIDQ4529773
Josef Svenningsson, Jörgen Gustavsson
Publication date: 6 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2053/20530063
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication:
