1 resultado para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos

em Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España