Synthesis of C++ software for automated teller from CSPm specifications.

Stephen Doxsee, William B. Gardner

Browse the full SAC paper archive.