Souza, D., & 		Lima, P.
2026 set  8.  System Prompts as Specifications: Assessing the Verifiability of Claude Code Sub-Agent Behavioral Claims. Anais do Workshop em Engenharia de Software para Sistemas Agênticos (SE4AS). [Online] :