Formal Modeling of Virtual Machines

DOI10.1109/TSE.1978.233862MaRDI QIDQ4166187zbMATH OpenOpenAlexFDO

Authors Armin B. Cremers, Thomas N. Hibbard

Publication date 1978

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1978.233862

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

Cited in

(1)

• Relative complexity of algebras

This page was built for publication: Formal Modeling of Virtual Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4166187)