Advanced lectures on software engineering : LASER summer school 2007/2008. : 2007 summer school on applied software verification : 2008 summer school on concurrency and correctness : ------. (Lecture Notes in Computer Science ; 6029. Tutorial)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。