Formal methods and software engineering : 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings. : Oct 2002, Shanghai, China. (Lecture Notes in Computer Science ; 2495)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。