scientific article; zbMATH DE number 4092767
From MaRDI portal
Publication:3820003
zbMATH Open0667.68052MaRDI QIDQ3820003FDOQ3820003
Authors: Max Benson
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (2)
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 Q3820003)