scientific article; zbMATH DE number 1761902
From MaRDI portal
Publication:4537520
zbMath0988.68506MaRDI QIDQ4537520
Publication date: 1 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Design of abstract domains using first-order logic ⋮ Assertion based Inductive Verification Methods for Logic Programs
This page was built for publication:
