scientific article
From MaRDI portal
Publication:3977996
zbMath0771.68086MaRDI QIDQ3977996
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
software verificationsoftware developmentsoftware specificationthree-valued propositional and predicate calculi
Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)
Related Items (4)
A first order logic for partial functions ⋮ Partial functions and logics: A warning ⋮ Proof systems for reasoning about computation errors ⋮ Rasiowa-Sikorski deduction systems in computer science applications.
Uses Software
This page was built for publication:
