Mechanized Formal Reasoning about Programs and Computing Machines (1996)

by Robert S. Boyer , J Strother Moore
Citations:28 - 11 self