Jan Denzer

 

Formal Methods and theoretical Computer Science