Una visión general de los grupos de matrices, problemas de órbita y sus implicaciones computacionales.
― 6 minilectura
George Kenison
Avanzando en la generación automática de invariantes de bucle para la verificación de software confiable.
― 8 minilectura