Avançando a geração automática de invariantes de loop para verificação de software confiável.
― 7 min ler
Ciência de ponta explicada de forma simples
Avançando a geração automática de invariantes de loop para verificação de software confiável.
― 7 min ler