scientific article
From MaRDI portal
Publication:2767091
zbMath0983.68041MaRDI QIDQ2767091
Maurizio Proietti, Alberto Pettorossi
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Anti-unification in Constraint Logic Programming ⋮ On Inductive Proofs by Extended Unfold/Fold Transformation Rules ⋮ On Negative Unfolding in the Answer Set Semantics
This page was built for publication:
