Skip to content
Search for:
About us
People
Projects
News
Events
Annual Meetings
VSS 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 (21)
Filters
Type
Annual Report
(
4
)
Policy
(
1
)
Conference Papers
(
60
)
PhD Thesis
(
6
)
Journal Paper
(
8
)
Report
(
6
)
Show
(
21
)
Cancel
Filtered (21)
Filters
Year
2023
(
16
)
2022
(
11
)
2021
(
17
)
2020
(
17
)
2019
(
9
)
2018
(
4
)
2017
(
3
)
2024
(
8
)
Show
(
21
)
Cancel
Annual Report 2018/2019
VeTSS
2019
Towards verified file systems.
Andrea Giugliano.
PhD Thesis, University of Leicester. 2018
Problem Book 2024
VeTSS, 2024.
Previous
1
2
Page load link
Go to Top