Details
Title
Runtime Checking for Program Verification Systems
Author(s)
Zee, Karen ; Kuncak, Viktor ; Rinard, Martin
Published in
Workshop on Workshop on Runtime Verification (collocated with AOSD)
Date
2007
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21