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

  • Doi Numarası: 10.1109/ase.2008.56
  • Basıldığı Şehir: L'Aquila
  • Basıldığı Ülke: İtalya
  • Sayfa Sayıları: ss.391-394