Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings Basin David Heftet / 2003 / Engelsk
Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings Basin David Heftet / 2004 / Engelsk
Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings Basin David Heftet / 2013 / Engelsk
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
