Mars code.

Gerard J. Holzmann

Published in: Commun. ACM (2014)

Keyphrases

source code
information systems
real world
similarity measure
digital libraries
expert systems
information technology
data flow
code generation
mission planning