Austin J. Blatt
Identifiers
- name variant Austin J. Blatt 0.50 · backfill
Papers (1)
- Executable formal semantics for the POSIX shell cs.PL · 2019 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Michael Greenberg 1 shared papers
No mention provenance yet.