서브메뉴
검색
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
Detailed Information
- 자료유형
- 기사
- ISSN
- 09168508
- 서명/저자
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification / Ngoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
- 형태사항
- pp. 1451
- 모체레코드
- 모체정보확인
- Control Number
- gtec:382141
MARC
008171211s2012 aa eng■022 ▼a09168508
■245 ▼aOn Optimization of Minimized Assumption Generation Method for Component-Based Software Verification▼dNgoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
■300 ▼app. 1451
■7001 ▼aNgoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
■773 ▼tIEICE Transactions on Fundamentals of Electronics, Communications and ComputerSciences▼gv.E95-A n.9▼d2012, 09
■SIS ▼aKS026312▼b63145▼h1▼sG
