Automatyczna symboliczna weryfikacja programów i protokołów kryptograficznych w systemach rozproszonych

 

Materiały i ogłoszenia

 

następne spotkanie grantowe jest planowane na środę 6.09.06
spotkanie grantowe 18.06.06: