What is XXX's place of employment?
Pamela Zave
Pamela Zave (born 1948,) is an American computer scientist who works at AT&T Labs, where she is known for her work in requirements engineering and her use of formal methods in telecommunications.
AT&T Labs