Krzysztof Jakubczyk

Source Code Analysis Techniques in Property Verification of Real Java Code

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Nov. 28, 2013

Supervisor

• dr hab. Aleksy Schubert

Reviewers

• prof. Andrzej Tarlecki
• dr hab. Piotr Kosiuczenko (Wojskowa Akademia Techniczna)

Documents

• Summary in Polish
• Thesis