Publication:4736999
From MaRDI portal
zbMath1057.68576MaRDI QIDQ4736999
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940225.htm
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items