Formal Modeling of Virtual Machines

DOI10.1109/TSE.1978.233862zbMath0385.68008OpenAlexW2047081234MaRDI QIDQ4166187

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)

Related Items (1)

Relative complexity of algebras

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