An assume guarantee verification methodology for aspect oriented programming
ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, L'Aquila, İtalya, 15 - 19 Eylül 2008, ss.391-394, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Doi Numarası: 10.1109/ase.2008.56
- Basıldığı Şehir: L'Aquila
- Basıldığı Ülke: İtalya
- Sayfa Sayıları: ss.391-394
- Orta Doğu Teknik Üniversitesi Adresli: Evet