http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O38620928
1998년
eng
학술저널
IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING
260-269 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0818687509; 0818687568; 0818687592
Automated software engineering
International conference; 13th
Honolulu; HI
1998; Oct
0
상세조회0
다운로드
A Tool for Automated System Analysis based on Modular Specifications
Management of Evolving Specifications using Category Theory
Specification-based Testing of Ada Units with Low Encapsulation
Identifying Pre-Conditions with the Z/EVES Theorem Prover