scientific article
From MaRDI portal
Publication:3996919
zbMath0716.68006MaRDI QIDQ3996919
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (3)
Unification: A case-study in data refinement ⋮ Sound and complete rules for data reification ⋮ Ours Is to Reason Why
Uses Software
This page was built for publication:
