scientific article
From MaRDI portal
Publication:2849843
zbMath1272.68084MaRDI QIDQ2849843
Chris Hankin, Herbert Wiklicky
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052399
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: