scientific article; zbMATH DE number 3827838
From MaRDI portal
Publication:3674630
zbMATH Open0523.03024MaRDI QIDQ3674630FDOQ3674630
Authors: Francine Berman 
Publication date: 1983
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Properties of classes of models (03C52) Nonstandard models (03H99)
Cited In (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 Q3674630)
