scientific article
From MaRDI portal
Publication:3920612
zbMath0467.68008MaRDI QIDQ3920612
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (2)
This page was built for publication:
