Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios.

Alexandre L. Correa, Cludia Maria Lima Werner

Browse the full SEKE paper archive.