scientific article; zbMATH DE number 872094
From MaRDI portal
Publication:4875304
zbMath0921.68058MaRDI QIDQ4875304
Publication date: 28 April 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (7)
Interpolation in Grothendieck institutions ⋮ Generalized interpolation in CASL ⋮ Essential concepts of algebraic specification and program development ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Semantic typing for parametric algebraic specifications ⋮ An axiomatic approach to structuring specifications ⋮ Logical systems for structured specifications.
This page was built for publication:
