Proceedings of the 7th international conference on Runtime verification

• Authors:

• Oleg Sokolsky;Serdar Taşiran

• Affiliations:

• University of Pennsylvania, Department of Computer and Information Science, Philadelphia, PA;Koç University, College of Engineering, Istanbul, Turkey

• Venue:
• RV'07 Proceedings of the 7th international conference on Runtime verification
• Year:
• 2007