scientific article; zbMATH DE number 1858003

MaRDI QIDQ4788971zbMATHFDO

Authors Vladimir Ivanovich Shalak

Publication date 17 March 2003

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

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