Radhia Cousot

Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Cousot, Radhia', query time: 0.02s Refine Results
  1. 1
    Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
    Published 2003
    Other Authors: “…Cousot, Radhia…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Published 2005
    Other Authors: “…Cousot, Radhia…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /
    Published 2010
    Other Authors: “…Cousot, Radhia…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search