Fingerprint
Dive into the research topics of 'REPLica: REPL instrumentation for Coq analysis'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
REPLica: REPL instrumentation for Coq analysis
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution