Adam Chlipala (CSAIL)

Identifiers

• name variant Adam Chlipala (CSAIL) 0.60 · backfill

Papers (1)

1. Formal Verification of Hardware Synthesis cs.PL · 2013 · author #2

Mentions

• 1301.4779 #2 · backfill · confidence 0.70 Adam Chlipala (CSAIL)

Frequent Coauthors

• Thomas Braibant (INRIA Rocquencourt) 1 shared papers