Right Code.

Gerard J. Holzmann

Published in: IEEE Softw. (2021)

Keyphrases

source code
error correcting
social networks
computational complexity
artificial intelligence
information systems
website
data structure
java programs
error correcting codes