закладки (спрятать)
- Нет подходящих.
публикации (спрятать)13
- ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, стр. 193-202. New York, NY, USA, ACM, (2004)
- IEEE Trans. Softw. Eng., 21 (9): 705-716 (1995)
- OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, стр. 685-686. New York, NY, USA, ACM, (2006)
- OOPSLA Companion, стр. 919-920. ACM, (2008)
- POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, стр. 4-16. New York, NY, USA, ACM, (2002)
- In 19th International Conference on Distributed Computing Systems (ICDCS, стр. 171-178. (1999)
- ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, стр. 25-34. New York, NY, USA, ACM, (2007)
- Test and Analysis of Web Services, (2007)
- Proc. of the Workshop on Specification and Verification of Component- Based Systems OOPSLA 2001, (2001)
- University of Rome Tor Vergata, Italy, (2007)
- Software and Systems Modeling, 6 (4): 453--471 (декабря 2007)
- Computer, 28 (6): 72--78 (1995)
- Queue, 6 (5): 16--25 (2008)
