Files
Details
Title
On Our Experience with Modular Pluggable Analyses
Author(s)
Lam, Patrick ; Kuncak, Viktor ; Rinard, Martin
Date
2004
Note
MIT CSAIL report number 965
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
Technical Reports
Published
Work outside EPFL
Technical Reports
Published
Record creation date
2007-08-21