Anais VI Workshop de Métodos Formais, 12-14 de outubro de 2003, Campina Grande - PB

Workshop Brasileiro de Métodos Formais (6. 2003 Campina Grande, BR) Ana Cavalcanti; Patrícia Machado; Sociedade Brasileira de Computação

Campina Grande Universidade Federal de Campina Grande University of Kent 2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 W926a 2003 e.1 )(Acessar)