scientific article
From MaRDI portal
Publication:3347268
zbMATH Open0558.68016MaRDI QIDQ3347268
Publication date: 1983
Title of this publication is not available (Why is that?)
Related Items (3)
Foundations of rule-based design of modular systems ⋮ Modular structuring of VDM specifications in VVSL ⋮ On the correctness of modular systems
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 Q3347268)
