An assume guarantee verification methodology for aspect oriented programming

Copy For Citation

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

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