Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University
Email: taeyoung.rhee (at) sf.snu.ac.kr
Address: Room 315-1, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)