Przewód doktorski Łukasza Stafiniaka
You are here: Home
Tuesday, September 22, 2015
Otwarto przewód doktorski Łukasza Stafiniaka. Rozprawa doktorska zatytułowana jest GADTs for Reconstruction of Invariants and Postconditions.
| Attachment | Size |
|---|---|
 Stafiniak_doktorat_streszczenie.pdf | 29.71 KB |
| Stafiniak_doktorat_recenzja_Sulzmann.pdf | 1.57 MB |
| Stafiniak_doktorat_recenzja_Schubert_UW.pdf | 4.89 MB |
