Precise Specification and Validation of Transactional Business Software.

Alexandre L. Correa, Cludia Maria Lima Werner

Browse the full RE paper archive.