<電子ブック>
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
目次 Invited talks
Program and system verification
Security and safety
Pointer analysis
Abstract interpretation and algorithms
Shape analysis
Abstract domain and data structures
Shape analysis and logic
Termination analysis.
冊子版へのリンク
本文を見る Full text available from SpringerLINK Lecture Notes in Computer Science (2015)

詳細

レコードID
刊行頻度
主題
SSID
LCCN
NBN
eISBN
注記
登録日 2020.06.27
更新日 2020.06.28