scientific article
From MaRDI portal
Publication:3993446
zbMATH Open0760.68052MaRDI QIDQ3993446
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Symbolic computation and algebraic computation (68W30) Theory of compilers and interpreters (68N20) 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 Q3993446)
