scientific article
From MaRDI portal
Publication:4038724
zbMath0765.68020MaRDI QIDQ4038724
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Efficient and flexible access control via Jones-optimal logic program specialisation ⋮ An investigation of Jones optimality and BTI-universal specializers
This page was built for publication: