Logga in på studentwebben
Redigera innehåll på umu.se
Andreas Brännström, Institutionen för datavetenskap, försvarar sin avhandling med titeln Formella metoder för verifiering i interaktion mellan människor och intelligenta agenter.
Handledare: Juan Carlos Nieves Sanchez
