PEIXOTO, Diogo Canut Freitas; 						MENDIZABAL, Odorico Machado.
 A Practical TLA+ Library for Designing and Verifying Distributed Systems. <em>In</em>: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 14.	, 2025, Valparaíso/Chile.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 183-200.