Henri Binsztok (MLstate

Identifiers

• name variant Henri Binsztok (MLstate 0.60 · backfill

Papers (1)

1. TRX: A Formally Verified Parser Interpreter cs.LO · 2011 · author #4

Mentions

• 1105.2576 #4 · backfill · confidence 0.70 Henri Binsztok (MLstate

Frequent Coauthors

• Adam Koprowski (MLstate 1 shared papers
• France) 1 shared papers
• Paris 1 shared papers