scientific article
From MaRDI portal
Publication:3696488
zbMath0576.68004MaRDI QIDQ3696488
Mario Rodríguez Artalejo, Teresa Hortalá-González
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Some general incompleteness results for partial correctness logics, Hoare's logic for nondeterministic regular programs: A nonstandard approach, Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
