scientific article
From MaRDI portal
Publication:3839053
zbMath0901.03028MaRDI QIDQ3839053
Publication date: 26 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Abstract model theory (03C95)
Related Items (3)
Generalized interpolation in CASL ⋮ Logical systems for structured specifications. ⋮ On institutions for modular coalgebraic specifications.
Uses Software
This page was built for publication:
