Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 18th International Overture Workshop
EditorsJohn Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
Number of pages16
Publication dateJan 2021
Pages20-35
Publication statusPublished - Jan 2021
Event18th International Overture Workshop - Online
Duration: 7 Dec 20207 Dec 2020

Workshop

Workshop18th International Overture Workshop
LocationOnline
Period07/12/202007/12/2020

Cite this