Ambient contracts: verifying and enforcing ambient object compositions

• 作者Christophe Scholliers; Dries Harnie; Éric Tanter; Wolfgang De Meuter; Theo D’Hondt
• 卷第15卷
• 期第4期
• 印刷ISSN1617-4909
• 电子ISSN1617-4917
• 文件大小853.79KB
• 发表时间2011-04
• DOI10.1007/s00779-010-0355-z
• 页码341-351