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

書誌事項

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

Radhia Cousot, David A. Schmidt (eds.)

(Lecture notes in computer science, 1145)

Springer, c1996

大学図書館所蔵 件 / 48

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ