VirtualTam's bookmarks

1. Finding the “Second Bug” in glibc’s Condition Variable

   2022-09-20
   concurrency/threading formal-specification/tla+ programming/c programming/ocaml

   Permalink