FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022

Diogo Barradas; Zaoxing Liu; Georgiana Caltais

doi:10.1145/3528082

FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022

Diogo Barradas (Editor), Zaoxing Liu (Editor), Georgiana Caltais (Editor)

Formal Methods and Tools

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	New York, NY
Publisher	ACM Press
ISBN (Print)	978-1-4503-9329-4
DOIs	https://doi.org/10.1145/3528082
Publication status	Published - 2022

Keywords

NLA

Access to Document

10.1145/3528082

Cite this

@book{9a9372d807b0461dbc3be98c0c335b8d,

title = "FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022",

keywords = "NLA",

editor = "Diogo Barradas and Zaoxing Liu and Georgiana Caltais",

year = "2022",

doi = "10.1145/3528082",

language = "English",

isbn = "978-1-4503-9329-4",

publisher = "ACM Press",

}

TY - BOOK

T1 - FFSPIN '22

T2 - Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022

A2 - Barradas, Diogo

A2 - Liu, Zaoxing

A2 - Caltais, Georgiana

PY - 2022

Y1 - 2022

KW - NLA

U2 - 10.1145/3528082

DO - 10.1145/3528082

M3 - Book editing

SN - 978-1-4503-9329-4

BT - FFSPIN '22

PB - ACM Press

CY - New York, NY

ER -