scientific article
From MaRDI portal
Publication:3670531
zbMATH Open0521.68015MaRDI QIDQ3670531FDOQ3670531
Publication date: 1982
Title of this publication is not available (Why is that?)
data structuresprogram transformationcorrectness proofinfinite objectsalgebraic typesordered and continuous algebrasrecursive systems of equations
General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q3670531)
