LIBRARY The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography) 2022 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings 2003 · ENGLISH · PDF View details →
LIBRARY 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 2013 · ENGLISH · PDF View details →
LIBRARY Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992 1993 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 2004 · ENGLISH · PDF View details →
LIBRARY Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 2004 · ENGLISH · DJVU View details →
LIBRARY Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 2004 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings 2003 · ENGLISH · PDF View details →