ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
Bertrand Meyer
Organization: ETH Zurich
Web page: http://se.ethz.ch/~meyer
Pages in this Program
Program
Program for Monday, May 20th