View of Uma abordagem para especificação e verificação de sistemas dependentes do tempo

Return to Article Details Uma abordagem para especificação e verificação de sistemas dependentes do tempo Download Download PDF