scientific article
From MaRDI portal
Publication:3678648
zbMATH Open0564.68007MaRDI QIDQ3678648
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (3)
A Refinement of the μ-measure for Stack Programs ⋮ Unnamed Item ⋮ An applicative random-access stack
This page was built for publication:
