scientific article; zbMATH DE number 3903934

MaRDI QIDQ3681900zbMATH OpenFDO

Authors Andrei P. Ershov

Publication date 1985

zbMATH Keywords

computational schemesmixed computation

Mathematics Subject Classification ID

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

Cited in

(1)

• Mixed computation and compilation: New approaches to old problems

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