scientific article; zbMATH DE number 3848588
From MaRDI portal
Publication:3318092
zbMATH Open0534.68009MaRDI QIDQ3318092FDOQ3318092
Authors: Robert Brockett Anderson 
Publication date: 1982
Title of this publication is not available (Why is that?)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q3318092)
