scientific article; zbMATH DE number 1445675
From MaRDI portal
Publication:4952856
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
Cited in
(2)
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 Q4952856)