Julia J. Tillman

Identifiers

• name variant Julia J. Tillman 0.60 · backfill

Papers (1)

1. Formal Specifications from Natural Language cs.SE · 2022 · author #3

Mentions

• 2206.01962 #3 · arxiv_oai · confidence 0.70 Julia J. Tillman

Frequent Coauthors

• Bernd Finkbeiner 1 shared papers
• Christopher Hahn 1 shared papers
• Frederik Schmitt 1 shared papers
• Julian Siber 1 shared papers
• Niklas Metzger 1 shared papers