387	TACAS 2002:Tools and Algorithms for Construction and Analysis of Systems
개최일자	2002/04/08~12	국내/국외
홈페이지	http://www-etaps.imag.fr/	장 소
TACAS 2002:Tools and Algorithms for Construction and Analysis of Systems (held as part of The European Joint Conf. on Theory and Practice of Software) 일자:2002/04/08~12 장소:Grenoble, France

사이트맵

연구문헌