Publication:3956372

zbMath0493.68013MaRDI QIDQ3956372

Antoni Kreczmar, Tomasz Müldner

Publication date: 1982

zbMATH Keywords

semantics; static and dynamic environments

Mathematics Subject Classification ID

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

68N01: General topics in the theory of software