Ana Cristina Vieira de Melo
Results: Displaying 10 of 20 on page 2 of 2
Name
Title
Area
Document
Colleges
Year
Transactional web service pattern validation
Programming with monoidal profunctors and semiarrows
A framework for exception handling coordination in fault-tolerant systems
Verification of behaviourist multi-agent systems by means of formally guided sim...
Test environment using property checking of Java components with exception handl...
Results: Displaying 10 of 20 on page 2 of 2