Certified programs and proofs : third international conference, CPP 2013 : Melbourne, VIC, Australia, December 11-13, 2013 : proceedings : Dec 2013, Melbourne, Australia. (Lecture Notes in Computer Science ; 8307)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。