Débora Souza and Pedro Lima. 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>, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 13-18. DOI: <a href="https://doi.org/10.5753/se4as.2026.32976">https://doi.org/10.5753/se4as.2026.32976</a>.