scientific article
From MaRDI portal
Publication:3659107
zbMath0513.68008MaRDI QIDQ3659107
Henricus Bernardus Maria Jonkers
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) General topics in the theory of software (68N01)
Related Items
Proof systems for structured specifications with observability operators ⋮ A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms ⋮ Towards a Taxonomy for ECFG and RRPG Parsing
This page was built for publication:
