BARRETO, Luciano; 						ANDRADE, Aline; 						DURAN, Adolfo; 						LIMA, Caíque; 						LIMA, Ademilson.
 Abstract Specification of an Operating System Kernel and Its Formalization in the Z Language. <em>In</em>: WORKSHOP ON OPERATING SYSTEMS (WSO), 7.	, 2010, Belo Horizonte/MG.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2010
.
 p. 2011-2021.