scientific article
From MaRDI portal
Publication:3681909
zbMath0566.68018MaRDI QIDQ3681909
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (2)
Proof theory for exception handling in a tasking environment ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
This page was built for publication:
