scientific article; zbMATH DE number 2101985
From MaRDI portal
Publication:4817211
zbMath1066.68120MaRDI QIDQ4817211
Matt Kaufmann, J. Strother Moore
Publication date: 22 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Computer theorem proving in mathematics ⋮ Finding Counter Examples in Induction Proofs ⋮ Proof assistants: history, ideas and future
Uses Software
This page was built for publication:
