VDM specification for the tree-modification method of refutation

zbMath0875.68636MaRDI QIDQ1817122

V. S. Protsenko, V. V. Yurchishin

Publication date: 14 January 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

formal specificationVDMlogical inferences

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

This page was built for publication: VDM specification for the tree-modification method of refutation