verification, model checking, and abstract interpretation: 8th international conference, vmcai 2007, nice, france, january 14-16, 2007, proceedings
cook, byron
verification, model checking, and abstract interpretation: 8th international conference, vmcai 2007, nice, france, january 14-16, 2007, proceedings
Cook, Byron (Autor) · springer · Libro Físico
Sin Stockverification, model checking, and abstract interpretation: 8th international conference, vmcai 2007, nice, france, january 14-16, 2007, proceedings
cook, byron
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
