Formalizing UNITY with HOL (1996)

by I. S. W. B. Prasetya
Citations:1 - 1 self