Bidalert ID: BABID19036184
Tender ID: GEM/2026/B/7507349
Closing Date: 15-Jun-2026 11:00 AM
Tender Details: CompCert-x86-64: Formally verified C Compiler
Dept: Ministry of Defence - Department of Defence Research & Development
EMD: Refer
Exemption:
ECV: Refer