STATIC VERIFICATION OF DYNAMIC SECURITY POLICIES

Student thesis: Master's Thesis

Abstract

Date of Award30 Jun 2017
Original languageEnglish
SupervisorCoen De Roover (Promotor), Elisa Gonzalez Boix (Promotor), Jens Nicolay (Advisor) & Angel Luis Scull Pupo (Advisor)

Cite this

'