scientific article
From MaRDI portal
Publication:3670535
zbMath0521.68019MaRDI QIDQ3670535
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicproof systemspecification and verification of computer programstotal correctness of a simple program
Related Items (2)
Construction of deterministic transition graphs from dynamic integrity constraints ⋮ A structured temporal logic language: XYZ/SE
This page was built for publication:
