Gilbert Babin, François Lustman, Peretz Shoval. Specification and Design of Transactions in Information Systems: A Formal Approach. IEEE Trans. Software Eng., 17(8):814-829, 1991. [doi]
No references recorded for this publication.
No citations of this publication recorded.