787 | CAV-2002 : Conference on Computer-Aided Verification | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/07/27~31 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://floc02.diku.dk/CAV | Àå ¼Ò | |
ÀϽà : 2002.07.27~31 Àå¼Ò : Copenhagen, Denmark |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.