[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Realizability analysis for message-based interactions using shared-state projections
Hallé, Sylvain, Bultan, TevfikYear:
2010
Language:
english
DOI:
10.1145/1882291.1882298
File:
PDF, 472 KB
english, 2010