B. R. Becker

Verification of a distributed computing system by layered proofs

Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

A domestic hot water use database

B. R. Becker, K. E. Stogsdill, 1990 .

LVT: a layered verification technique for distributed computing systems

Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1999, Softw. Test. Verification Reliab..