scientific article
From MaRDI portal
Publication:3365481
zbMath1079.68522MaRDI QIDQ3365481
Publication date: 23 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
