Professional Documents
Culture Documents
Novel Directions Logic: Session 5D IN Synthesis
Novel Directions Logic: Session 5D IN Synthesis
Novel Directions Logic: Session 5D IN Synthesis
NOVELDIRECTIONS
IN LOGIC
SYNTHESIS
Moderators:
Ankur Srivastava - Univ. of Maryland, College Park, MD
Elena V. Dubrova - Royal Institute of Tech., Stockholm, Sweden