Talia Ringer

Identifiers

No identifiers captured yet.

Papers (1)

1. Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification cs.LO · 2024 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Arpan Agarwal 1 shared papers
• Emily First 1 shared papers
• Saketh Ram Kasibatla 1 shared papers
• Sorin Lerner 1 shared papers
• Yuriy Brun 1 shared papers