Report - MAVEN: Modular Aspect Verification - Springer · PDF fileMAVEN: Modular Aspect Verification Max Goldman and Shmuel Katz Technion — Israel Institute of Technology {mgoldman,katz}@cs.technion.ac.il

Please pass captcha verification before submit form