TOOLympics Challenge 2023
portes grátis
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Beyer, Dirk; Kordon, Fabrice; Hartmanns, Arnd
Springer International Publishing AG
12/2024
172
Mole
9783031676949
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;model checking;program analysis;probabilistic analysis;runtime verification;SAT solving;SMT solving
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
