Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução Mais livros em: Monografias e TCC Download PDF