Supporting module reuse in refinement
From MaRDI portal
Publication:1924631
DOI10.1016/0167-6423(96)00006-8zbMath0858.68021OpenAlexW2079392207MaRDI QIDQ1924631
Publication date: 20 October 1996
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(96)00006-8
This page was built for publication: Supporting module reuse in refinement