Correction to 'Representational and denotational semantics of digital systems'

DOI10.1109/12.45218zbMath1395.68179OpenAlexW2043887735MaRDI QIDQ5375440

Raymond Boute

Publication date: 14 September 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

This page was built for publication: Correction to 'Representational and denotational semantics of digital systems'