Assertion: elf | /r/HasProperty | formal specification
Facets:
Source sentences:
text: It is a formal specification that defines how instructions are stored in executable code.