著者典拠情報

著者標目形：
SAS
属性：
Meeting
場所：
Namur, Belgium;Aachen;Paris;Pisa;Venice;Santa Barbara;Paris
日付：
1994;1996;1997;1998;1999;2000;2001
から見よ参照形：
Static Analysis Symposium
International Static Analysis Symposium
International Symposium on Static Analysis
International Symposium, SAS
注記：
Static analysis, 1994: CIP t.p. (SAS '94; 1st international symposium; Namur, Belgium, 9/28-30/94) galley ("first international Static Analysis Symposium (SAS '94))
EDSRC:Static analysis, c1996: t.p. (third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996)
EDSRC:Static analysis, c1997: t.p. (4th International Symposium, SAS'97, Paris, France, September 8-10, 1997)
EDSRC:Static analysis, c1998: t.p. (5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998)
EDSRC:Static analysis, c2000: t.p. (7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000)
Static analysis, c2001: t.p. (8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001)
著者典拠ID：
DA08604920


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
所蔵情報: 図書館
2.

図書
図書
2. Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
Patrick Cousot (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2126
所蔵情報: 図書館
3.

図書
図書
3. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
Jens Palsberg (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1824
所蔵情報: 図書館
4.

図書
図書
4. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Agostino Cortesi, Gilberto Filé (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1694
所蔵情報: 図書館
5.

図書
図書
5. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: 図書館
6.

図書
図書
6. Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings
Alan Mycroft (ed.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 983
所蔵情報: 図書館
7.

図書
図書
7. Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings (: gw ; : us)
Baudouin Le Charlier (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 864
所蔵情報: 図書館