scientific article
From MaRDI portal
Publication:3999301
zbMath0825.68262MaRDI QIDQ3999301
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A formalization of programs in first-order logic with a discrete linear order ⋮ Assumption propagation through annotated programs ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ Generating all polynomial invariants in simple loops ⋮ Elimination Techniques for Program Analysis
This page was built for publication:
