Checking Concurrent Contracts with Aspects

Detaylı Bibliyografya
Asıl Yazarlar: Kerfoot, E, McKeever, S
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: 2010