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