The formal specification and design of a distributed electronic funds-transfer system
- 1 January 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 37 (12) , 1515-1528
- https://doi.org/10.1109/12.9730
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- No Silver Bullet Essence and Accidents of Software EngineeringComputer, 1987
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Proof of correctness of data representationsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969