Practical-Formal-Methods

Maria Christakis' research group at MPI-SWS