The Formal method in Germany and in Russia

Přijďte si ve čtvrtek poslechnout přednášku Sergueie Tchougounnikova:
The Formal method in Germany and in Russia.