GitHub repository: BinaryAnalysisPlatform/bil
Primary language: TeX
Description: A formal specification for BIL