Combining algebraic specifications and procedural tools for correct program development
From MaRDI portal
Publication:583876
zbMATH Open0692.68015MaRDI QIDQ583876
Could not fetch data.
Publication date: 1988
Published in: Programming and Computer Software (Search for Journal in Brave)
Could not fetch data.
Related Items (3)
Essential concepts of algebraic specification and program development ⋮ Computer aided fusion for algebraic program derivation ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited
This page was built for publication: Combining algebraic specifications and procedural tools for correct program development
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q583876)
