818 | MPC-2002 : 6th International Conference on Mathematics of Program Construction | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/07/08~10 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www.cs.ukc.ac.uk/conf/mpc2002 | Àå ¼Ò | |
ÀϽà : 2002.07.08~10 Àå¼Ò : Dagstuhl, Germany |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.