scientific article
From MaRDI portal
Publication:3741040
zbMATH Open0604.68031MaRDI QIDQ3741040
Publication date: 1986
Title of this publication is not available (Why is that?)
Related Items (3)
Towards an algebraic specification of code generation ⋮ Context generation from formal specifications for C analysis tools ⋮ Title not available (Why is that?)
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 Q3741040)
