Login / Signup

Code Clarity.

Gerard J. Holzmann
Published in: IEEE Softw. (2016)
Keyphrases
  • source code
  • decision making
  • social networks
  • error correcting