Ada/TL specification and verification of a distributed computation.

William J. Hankley, Peikun Tsai

Browse the full SAC paper archive.