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