scientific article
From MaRDI portal
Publication:3729999
zbMath0596.68018MaRDI QIDQ3729999
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Data refinement of predicate transformers ⋮ An extensional treatment of lazy data flow deadlock ⋮ A proof rule for while loop in VDM
This page was built for publication:
