Skip to content
Search for:
About us
People
Projects
News
Events
Annual Meetings
Summer School
Calls & Vacancies
Publications
VeTSS Reports
VeTSS Blog
Contact Us
Search for:
Publications
shelley
2024-07-29T13:30:35+00:00
Publications & Reports
About us
Filter by
Filtered (38)
Filters
Type
Annual Report
(
4
)
Policy
(
1
)
Conference Papers
(
53
)
PhD Thesis
(
6
)
Journal Paper
(
7
)
Report
(
6
)
Show
(
38
)
Cancel
Filtered (38)
Filters
Year
2023
(
14
)
2022
(
11
)
2021
(
17
)
2020
(
17
)
2019
(
9
)
2018
(
4
)
2017
(
3
)
2024
(
2
)
Show
(
38
)
Cancel
Towards verified file systems.
Andrea Giugliano.
PhD Thesis, University of Leicester. 2018
Problem Book 2024
VeTSS, 2024.
Previous
2
3
Page load link
Go to Top