Julia Tillman

Identifiers

• name variant Julia Tillman 0.60 · backfill

Papers (1)

1. Smart Contract Synthesis Modulo Hyperproperties cs.LO · 2022 · author #4

Mentions

• 2208.07180 #4 · arxiv_oai · confidence 0.70 Julia Tillman

Frequent Coauthors

• Bernd Finkbeiner 1 shared papers
• Jana Hofmann 1 shared papers
• Norine Coenen 1 shared papers