1.
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16...
by Cousot, Radhia, Martel, Mat...
ISBN: 9783642157684
List Price: $95.00
2.
Static Analysis 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 11-13, 2003...
by Cousot, Radhia
ISBN: 9783540403258
List Price: $81.00
3.
Static Analysis Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 19...
by Cousot, Radhia, Schmidt, Da...
ISBN: 9783540617396
List Price: $74.95
4.
Verification, Model Checking, And Abstract Interpretation 6th International Conference, Vmca...
by Cousot, Radhia
ISBN: 9783540242970
List Price: $115.00