@inproceedings{DBLP:conf/usenix/MasseyB02,
  author       = {Bart Massey and
                  Robert T. Bauer},
  editor       = {Chris G. Demetriou},
  title        = {X Meets {Z:} Verifying Correctness in the Presence of {POSIX} Threads},
  booktitle    = {Proceedings of the {FREENIX} Track: 2002 {USENIX} Annual Technical
                  Conference, June 10-15, 2002, Monterey, California, {USA}},
  pages        = {221--234},
  publisher    = {{USENIX}},
  year         = {2002},
  url          = {http://www.usenix.org/publications/library/proceedings/usenix02/tech/freenix/massey.html},
  timestamp    = {Tue, 16 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/usenix/MasseyB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}