Souza, D., & 		Lima, P.
(2026).
 System Prompts as Specifications: Assessing the Verifiability of Claude Code Sub-Agent Behavioral Claims.
In <em>Anais do I Workshop em Engenharia de Software para Sistemas Agênticos</em>, (pp. 13-18). Porto Alegre: SBC.
doi:10.5753/se4as.2026.32976