Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)
Master's thesis presentations in Computer Science KTH EECS
Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)
[an error occurred while processing this directive]

 

 

  School of Electrical Engineering and Computer Science
Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)

Master's thesis presentation in Computer Science 2020

Tuesday June 23 at 14.00 (sharp)

Link to on-line presentation with Zoom

Verifying Correctness of Contract Decompositions.
Abstract   Thesis draft

Presenter:  Gustav Hedengran
Programs:   TCSCM, CDATE    Course: DA231X
Supervisor:  Dilian Gurov
Examiner:  Elena Troubitsyna
Opponent:  Arnŝór Jóhann Jónsson    (DA231X, examiner Elena Troubitsyna)

Session chair is Elena Troubitsyna