scientific article; zbMATH DE number 2090846
From MaRDI portal
Publication:4813398
zbMath1067.68546MaRDI QIDQ4813398
Hongseok Yang, Oukseh Lee, Kwangkeun Yi
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940171.htm
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)
This page was built for publication:
