Cousot, Radhia

ID:DA10316714

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Radhia Cousot (ed.)

Springer c2005 Lecture notes in computer science 3385

所蔵館18館
2

Static analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

Radhia Cousot (ed.)

Springer c2003 Lecture notes in computer science 2694

所蔵館20館
3

Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

Radhia Cousot, David A. Schmidt (eds.)

Springer c1996 Lecture notes in computer science 1145

所蔵館48館

この著者を外部サイトでさがす

関連著者

ページトップへ