Technical systems in logic: questions of formalization and automatic verification
From MaRDI portal
Publication:2856056
zbMATH Open1273.03109MaRDI QIDQ2856056
Publication date: 23 October 2013
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication: Technical systems in logic: questions of formalization and automatic verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856056)
