[ACM Press the 10th international workshop - Porto de Galinhas, Brazil (2011.03.21-2011.03.21)] Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11 - Compositional verification of events and observers

• 作者Disenfeld, Cynthia; Katz, Shmuel
• 文件大小395.28KB
• 发表时间2011
• DOI10.1145/1960510.1960512