Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A9437
国立国会図書館書誌ID
000003232697
資料種別
図書
著者
International Static Analysis Symposium (1st : 1994 : Namur, Belgium)ほか