SOUZA, Débora; 						LIMA, Pedro.
 System Prompts as Specifications: Assessing the Verifiability of Claude Code Sub-Agent Behavioral Claims. <em>In</em>: WORKSHOP EM ENGENHARIA DE SOFTWARE PARA SISTEMAS AGÊNTICOS (SE4AS), 1.	, 2026, São Paulo/SP.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 13-18. 
		DOI: <a href="https://doi.org/10.5753/se4as.2026.32976">https://doi.org/10.5753/se4as.2026.32976</a>.