scientific article
From MaRDI portal
Publication:3431400
zbMath1114.68063MaRDI QIDQ3431400
Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
Publication date: 10 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Towards Logical Frameworks in the Heterogeneous Tool Set Hets ⋮ Aligning concepts across proof assistant libraries ⋮ Synthesis of implementations for divide-and-conquer specifications ⋮ The Isabelle Framework ⋮ Local Theory Specifications in Isabelle/Isar ⋮ Matching Concepts across HOL Libraries ⋮ Generic Tools via General Refinement
Uses Software
