scientific article; zbMATH DE number 1497823
From MaRDI portal
Publication:4499243
zbMath0966.68034MaRDI QIDQ4499243
Roberta Gori, Paolo Volpe, Giorgio Levi, Marco Comini
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items
Assertion based Inductive Verification Methods for Logic Programs ⋮ Logic programs as specifications in the inductive verification of logic programs
This page was built for publication: