MACIEIRA, Rafael; 						LISBOA, Edson; 						BARROS, Edna.
 Device Driver Generation and Checking Approach. <em>In</em>: BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 1.	, 2011, Florianópolis.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2011
.
 p. 72-77. 
			ISSN 2237-5430.