scientific article; zbMATH DE number 4076690
From MaRDI portal
Publication:3807653
zbMATH Open0658.68122MaRDI QIDQ3807653FDOQ3807653
Authors:
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cited In (4)
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 Q3807653)