1
Assuntos:
“...Reparo de Refinamento...”
Uso de Sistemas de Transições Modais de Kripke para Representacão de Comportamento Parcial no Desenvolvimento incremental e interativo de software
Dissertação