Miriam E. Leeser

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verifying a logic-synthesis algorithm and implementation: a case study in software verification

Mark D. Aagaard and others (1995) · IEEE Transactions on Software Engineering · IEEE Computer Society

Using Nuprl for the verification and synthesis of hardware

Miriam E. Leeser (1992) · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · Royal Society

Formally verified synthesis of combinational CMOS circuits

David A. Basin and others (1991) · Integration, the VLSI Journal · Elsevier BV