scientific article; zbMATH DE number 3835320

MaRDI QIDQ3040484zbMATH OpenFDO

Authors Irène Guessarian

Publication date 1984

zbMATH Keywords

properties of programs

Mathematics Subject Classification ID

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

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