scientific article; zbMATH DE number 4126681
From MaRDI portal
zbMATH Open0687.68009MaRDI QIDQ4206384FDOQ4206384
Authors: Roy J. Fuller
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
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 Q4206384)