Association for Computing Machinery
Ada Semantic Interface Specification
Ada
SPARK
Computing
Software engineering
Computer programming