Przewód doktorski Łukasza Stafiniaka
Jesteś tutaj: Strona główna
wtorek, Wrzesień 22, 2015
Otwarto przewód doktorski Łukasza Stafiniaka. Rozprawa doktorska zatytułowana jest GADTs for Reconstruction of Invariants and Postconditions.
| Załącznik | Wielkość |
|---|---|
 Stafiniak_doktorat_streszczenie.pdf | 29.71 KB |
| Stafiniak_doktorat_recenzja_Sulzmann.pdf | 1.57 MB |
| Stafiniak_doktorat_recenzja_Schubert_UW.pdf | 4.89 MB |
