An assume guarantee verification methodology for aspect oriented programming

Ispir M., Can A.

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, L'Aquila, İtalya, 15 - 19 Eylül 2008, ss.391-394 identifier

  • 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