scientific article
From MaRDI portal
Publication:3021914
zbMath1103.68800MaRDI QIDQ3021914
Matt Kaufmann, J. Strother Moore
Publication date: 21 June 2005
Full work available at URL: https://eudml.org/doc/41046
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
This page was built for publication:
