Accurate Step Counting
From MaRDI portal
Publication:3623952
DOI10.1007/11964681_6zbMath1236.68030OpenAlexW1498002374MaRDI QIDQ3623952
Publication date: 28 April 2009
Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11964681_6
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: Accurate Step Counting