인쇄
경기과학기술대학교 도서관
도서명 :
On Optimization of M
inimized Assumption Generation Method for Component-Based Software Verification
저 자 :
Ngoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, an
청구기호 :
소장처 :
인터넷카페
대출요구사항 :
출력