AFFORD19: WORKSHOP ON PRACTICAL FORMAL VERIFICATION FOR SOFTWARE DEPENDABILITY
Elvinia Riccobene
Organization: Computer Science Dept., University of Milan
Web page: https://homes.di.unimi.it/riccobene/
Pages in this Program
Program
Program for Monday, October 7th