scientific article; zbMATH DE number 5604109

MaRDI QIDQ3395993zbMATH OpenFDO

Authors Per F. V. Hasle, Peter Øhrstrøm

Publication date 15 September 2009

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) History of mathematical logic and foundations (03-03) Temporal logic (03B44) 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 Q3395993)