scientific article; zbMATH DE number 1222416
From MaRDI portal
Publication:4217939
zbMath0910.68043MaRDI QIDQ4217939
Publication date: 11 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Assertion based Inductive Verification Methods for Logic Programs ⋮ Logic programs as specifications in the inductive verification of logic programs ⋮ On the verification of finite failure ⋮ A theory of observables for logic programs
This page was built for publication:
