research data . Dataset . 2015

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity

Sergey, Ilya; Nanevski, Aleksandar; Banerjee, Anindya;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg