著者典拠情報

著者標目形：
Cortesi, Agostino
属性：
Personal
注記：
Static analysis, c1999: t.p. (ed., Agostino Cortesi) t.p.verso (Dipartimento di Informatica, Univ. Ca'Foscari di Venezia)
著者典拠ID：
DA12462615


1.

図書
図書
1. Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Lenore D. Zuck ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2575
所蔵情報: 図書館
2.

図書
図書
2. Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: 図書館, 研究室