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, Italy, 15 - 19 September 2008, pp.391-394 identifier

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1109/ase.2008.56
  • City: L'Aquila
  • Country: Italy
  • Page Numbers: pp.391-394