Aarhus University Seal / Aarhus Universitets segl

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 year19 Jan 2021
Pages20-35
Publication statusPublished - 19 Jan 2021
Event18th International Overture Workshop - Online
Duration: 7 Dec 2020 → …

Workshop

Workshop18th International Overture Workshop
LocationOnline
Periode07/12/2020 → …

See relations at Aarhus University Citationformats

ID: 208522541