Souza, Débora, and Pedro Lima.
" System Prompts as Specifications: Assessing the Verifiability of Claude Code Sub-Agent Behavioral Claims." <em>Anais do I Workshop em Engenharia de Software para Sistemas Agênticos,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.13-18.