LIBROS DEL AUTOR: radhia cousot

2 resultados para LIBROS DEL AUTOR: radhia cousot

radhia cousot Eliminar filtro Quitar filtros
  • Verification, Model Checking, and Abstract Interpretation
    Radhia Cousot
    This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri?cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17-19, 2005 in Paris, France. VMCAI provides a forum for researchers from the communities of veri?- tion, model checking, and abstract interpretation, facilitating...
    Disponible

    65,30 €

  • Static Analysis
    Radhia Cousot
    The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis o...
    Disponible

    65,19 €