scientific article; zbMATH DE number 177503

MaRDI QIDQ4037374zbMATH OpenFDO

Authors Carl P. Pixley

Publication date 18 May 1993

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• The Birth of Model Checking

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 Q4037374)