Browse by Director
![]() | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.
Thesis
Hafidi, Mustafa (2020). From testing to formal verification in Haskell. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
Khodayari, Soheil (2019). A Framework for Testing Web Applications for Cross-Origin State Inference (COSI) Attacks. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).