scientific article; zbMATH DE number 3596224
From MaRDI portal
Publication:4162635
zbMath0383.68018MaRDI QIDQ4162635
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (3)
Reflection of formal tactics in a deductive reflection framework ⋮ Program morphisms ⋮ Semantics of algorithmic languages
This page was built for publication:
