Lisa Sophie Blank

 

Formal Methods and theoretical Computer Science