scientific article; zbMATH DE number 1104390

zbMath0888.68082MaRDI QIDQ4370272

Ian J. Hayes, Ray Nickson, Robert J. Colvin, Paul A. Strooper

Publication date: 1 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

refinement of logic programs

Mathematics Subject Classification ID

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

Related Items (2)

REFLP ⋮ Don't Care Non-determinism in Logic Program Refinement

Uses Software

• Ergo 6

This page was built for publication: