scientific article

zbMATH Open0800.68280MaRDI QIDQ4007493

D. B. Buy, V. V. Pogosyan

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

mutual underivability of compositionsprogramming languages MCL

Mathematics Subject Classification ID

Theory of programming languages (68N15) 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 Q4007493)