Alexandre L. Correa, Cláudia Maria Lima Werner. Precise Specification and Validation of Transactional Business Software. In 12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan. pages 16-25, IEEE Computer Society, 2004. [doi]
Abstract is missing.