Krzysztof Jakubczyk

Source Code Analysis Techniques in Property Verification of Real Java Code (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