A GUI for linking HOL to MDG (2002)

by R Hum, H Yip, H Li, R Mizouni, S Tahar