1.

図書
図書
1. Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Manuel V. Hermenegildo, Germán Puebla (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2477
所蔵情報: loading…
2.

図書
図書
2. Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
Roberto Giacobazzi (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3148
所蔵情報: loading…
3.

図書
図書
3. Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Chris Hankin, Igor Siveroni (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3672
所蔵情報: loading…