1 - 6 out of 6Page size: 10
Sort by: Title
  1. AmbientTalk Extensions for Distributed Algorithms

    Author: Deschuyteneer, K., Pinte, K. & Gonzalez Boix, E., 2014

    Student thesis: Master's Thesis

  2. STATIC VERIFICATION OF DYNAMIC SECURITY POLICIES

    Author: Horemans, D. & Scull Pupo, A. L., 30 Jun 2017

    Supervisor: De Roover, C., Gonzalez Boix, E., Nicolay, J. & Scull Pupo, A. L.

    Student thesis: Master's Thesis

ID: 124757