scientific article
From MaRDI portal
Publication:3038594
zbMath0525.68003MaRDI QIDQ3038594
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ Laws of Programming for References ⋮ Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
This page was built for publication: