Providing a Formal Linkage between MDG and HOL Based on a Veri MDG System (2001)

by Haiyan Xiong , Paul Curzon , Ann Bl
Citations:2 - 2 self