Assistant to the Proof Assistant

Tagged “OOPSLA19”

  1. A Formalization of Java's Concurrent Access Modes

See all tags.