Robert T. Bauer

List of publications from the DBLP Bibliography Server - FAQ

2002

1 EE Bart Massey, Robert T. Bauer: X Meets Z: Verifying Correctness in the Presence of POSIX Threads. USENIX Annual Technical Conference, FREENIX Track 2002: 221-234

2002
1	EE	Bart Massey, Robert T. Bauer: X Meets Z: Verifying Correctness in the Presence of POSIX Threads. USENIX Annual Technical Conference, FREENIX Track 2002: 221-234

Coauthor Index

1 Barton C. Massey (Bart Massey) [1]