Providing a Formal Linkage between MDG and HOL based on a verified MDG system (2002)

by Haiyan Xiong
Citations:2 - 2 self