Leeser, Miriam profile picture

Leeser, Miriam

Is this your author profile? Create an account to claim and customize it!

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