scientific article; zbMATH DE number 872094
From MaRDI portal
Publication:4875304
zbMATH Open0921.68058MaRDI QIDQ4875304FDOQ4875304
Authors: María Victoria Cengarle 
Publication date: 28 April 1996
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (7)
- Essential concepts of algebraic specification and program development
- Logical systems for structured specifications.
- Generalized interpolation in CASL
- An institution-independent proof of the Robinson consistency theorem
- Semantic typing for parametric algebraic specifications
- Interpolation in Grothendieck institutions
- An axiomatic approach to structuring specifications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4875304)
