Translation Validation for System Abstractions
In: 7th Workshop on Runtime Verification (RV'07), Vancouver, Canada. to appear, March, 2007
Authors
- Jan Olaf Blech
- Ina Schaefer
- Arnd Poetzsch-Heffter
BibTeX
@Proceedings{ BlechSchaeferPH2007,
title = { Translation Validation for System Abstractions },
author = { Jan Olaf Blech and Ina Schaefer and Arnd Poetzsch-Heffter },
booktitle = { 7th Workshop on Runtime Verification (RV'07), Vancouver, Canada },
note = { to appear },
month = mar,
year = 2007,
}
This publication belongs to the project
EVAS.
