Author Search Results

Radhia Cousot

Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. Provided by Wikipedia

1

Cover Image

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Published 2005

Other Authors: “...Cousot, Radhia....”
View full text

Electronic eBook

2

Cover Image

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /

Published 2010

Other Authors: “...Cousot, Radhia....”
View full text

Electronic eBook