Download
Automated Clustering Project - 12th CONTECSI 34th WCARS
1 Regression Verification: Proving the equivalence of similar programs Benny Godlin Ofer Strichman Technion, Haifa, Israel Recently joined: Yossi Levhari.
Sugisaki y Snyder 2003
Efficiency Measurement
Frontier Models and Efficiency Measurement Lab Session 4: Panel Data
