Complete Guide to SCION From Design Principles to Formal Verification Chuat, Laurent Innbundet / 2022 / Engelsk
Complete Guide to SCION From Design Principles to Formal Verification Chuat, Laurent Heftet / 2023 / Engelsk