scientific article
From MaRDI portal
Publication:3914417
zbMath0463.68028MaRDI QIDQ3914417
No author found.
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
A lattice for abstract interpretation of dynamic (LISP-like) structures ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ Invariants Synthesis over a Combined Domain for Automated Program Verification ⋮ Abstract cofibered domains: Application to the alias analysis of untyped programs
This page was built for publication:
