Reusing specifications through refinement levels
From MaRDI portal
Publication:3122585
DOI10.1016/0169-023X(94)00033-BzbMATH Open0875.68627OpenAlexW2018323362MaRDI QIDQ3122585
Author name not available (Why is that?)
Publication date: 28 February 1997
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0169-023x(94)00033-b
No records found.
No records found.
This page was built for publication: Reusing specifications through refinement levels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3122585)