Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, . (lecture Notes in Computer Science)

M. Leeser, G. Brown, eds.