Robert T. Bauer

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Bart Massey, Robert T. Bauer
X Meets Z: Verifying Correctness in the Presence of POSIX Threads. USENIX Annual Technical Conference, FREENIX Track (2002)