Souza, Débora, E 		Lima, Pedro.
" System Prompts as Specifications: Assessing the Verifiability of Claude Code Sub-Agent Behavioral Claims" <em>Anais do Workshop em Engenharia de Software para Sistemas Agênticos (SE4AS)</em> [Online], (8 setembro 2026)