Raul Sidnei Wazlawick
Uma Proposta para o Ensino de Engenharia de Software a partir da Resolução de Problemas
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas