Specification and Design of Transactions in Information Systems: A Formal Approach

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.