http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O36883809
1999년
eng
학술저널
IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING
24-34 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0769504159; 0769504175
Automated software engineering
International conference; 14th
The fourteenth IEEE international conference on automated software engineering
Cocoa Beach, FL
1999; Oct
0
상세조회0
다운로드
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties
An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory
Industrial Applications of Software Synthesis via Category Theory
Towards Automatic Imperative Program Synthesis Through Proof Planning