Nie jesteś zalogowany |
Powrót do listy doktoratów
Krzysztof Jakubczyk
Source Code Analysis Techniques in Property Verification of Real Java Code
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 28 listopada 2013
- Promotor
- dr hab. Aleksy Schubert
- Recenzenci
- prof. Andrzej Tarlecki
- dr hab. Piotr Kosiuczenko (Wojskowa Akademia Techniczna)
- Dokumenty
