APA (7th ed.) Citation

Blain, D. (2026). COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery.

Chicago Style (17th ed.) Citation

Blain, Dominik. COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery. 2026.

MLA (9th ed.) Citation

Blain, Dominik. COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery. 2026.

Warning: These citations may not always be 100% accurate.