http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic
Yahav, E. ACM; 1999 2001 p.27-40
Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability
Rehof, J. ACM; 1999 2001 p.54-66
An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs
Monniaux, D. ACM; 1999 2001 p.93-101