scientific article
From MaRDI portal
Publication:3780506
zbMATH Open0639.68120MaRDI QIDQ3780506
Publication date: 1987
Title of this publication is not available (Why is that?)
Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20)
Related Items (1)
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 Q3780506)