conference paper
Runtime Checking for Program Verification Systems
2007
Workshop on Workshop on Runtime Verification (collocated with AOSD)
Type
conference paper
Author(s)
Date Issued
2007
Published in
Workshop on Workshop on Runtime Verification (collocated with AOSD)
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record