Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Jorge Francisco Cutigi Adenilso da Silva Simão
São Carlos ICMC-USP 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n.286 C988mp e.1 ) e outros locais(Acessar)