scientific article
From MaRDI portal
Publication:2702602
zbMath0972.68520MaRDI QIDQ2702602
Wolfgang Reif, Gerhard Schellhorn
Publication date: 6 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
History and Prospects for First-Order Automated Deduction, Crystal: Integrating structured queries into a tactic language, Automated flaw detection in algebraic specifications, Automating Algebraic Specifications of Non-freely Generated Data Types, Lightweight relevance filtering for machine-generated resolution problems, Set of support, demodulation, paramodulation: a historical perspective, Extending Sledgehammer with SMT solvers, A relevance restriction strategy for automated deduction
Uses Software
