Melham, T. F. (1993). Higher order logic and hardware verification / T. Melham. Cambridge University Press.
Chicago Edition CitationMelham, T. F. Higher Order Logic and Hardware Verification / T. Melham. Cambridge: Cambridge University Press, 1993.
MLA Edition CitationMelham, T. F. Higher Order Logic and Hardware Verification / T. Melham. Cambridge University Press, 1993.
Warning: These citations may not always be 100% accurate.