scientific article
From MaRDI portal
Publication:3759012
zbMath0622.18004MaRDI QIDQ3759012
Ralph Tindell, Stephen L. Bloom
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (1)
This page was built for publication:
