Soundness

Results: 384



#Item
71Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

Add to Reading List

Source URL: www.montefiore.ulg.ac.be

Language: English - Date: 2006-01-07 06:25:43
    72Fiji: Financial Soundness Indicators for credit institutions, In percent unless otherwise indicated) 2006P  2000

    Fiji: Financial Soundness Indicators for credit institutions, In percent unless otherwise indicated) 2006P 2000

    Add to Reading List

    Source URL: afspc.pftac.org

    Language: English - Date: 2012-03-13 18:27:18
    73Microsoft Word - Situation of Soundness_LCR(As of June 30 2015_.doc

    Microsoft Word - Situation of Soundness_LCR(As of June 30 2015_.doc

    Add to Reading List

    Source URL: www.daiwa-grp.jp

    Language: English - Date: 2015-08-17 02:55:15
      74Soundness is not Sufficient* Fritz Henglein DIKU  DANSAS,

      Soundness is not Sufficient* Fritz Henglein DIKU DANSAS,

      Add to Reading List

      Source URL: dansas.sdu.dk

      Language: English - Date: 2013-08-28 10:26:00
        75Fiji: Core set of Financial Soundness Indicators for Banking Sector, In percent unless otherwise indicated) 2006P  2000

        Fiji: Core set of Financial Soundness Indicators for Banking Sector, In percent unless otherwise indicated) 2006P 2000

        Add to Reading List

        Source URL: afspc.pftac.org

        Language: English - Date: 2012-03-13 18:27:16
          76Computational soundness of observational equivalence∗ Hubert Comon-Lundh† V´eronique Cortier  ‡

          Computational soundness of observational equivalence∗ Hubert Comon-Lundh† V´eronique Cortier ‡

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          Language: English - Date: 2008-08-05 09:55:07
            77Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS & INRIA LSV, CNRS & ENS Cachan & INRIA

            Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS & INRIA LSV, CNRS & ENS Cachan & INRIA

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            Language: English - Date: 2010-03-25 09:09:53
              78Fiji: Encouraged set of the Financial Soundness Indicators, In percent unless otherwise indicated) Corporate Sector Total debt to equity Return on equity

              Fiji: Encouraged set of the Financial Soundness Indicators, In percent unless otherwise indicated) Corporate Sector Total debt to equity Return on equity

              Add to Reading List

              Source URL: afspc.pftac.org

              Language: English - Date: 2012-03-13 18:27:21
                79October 10, 2014 Nippon Life Insurance Company Notice Regarding Issuance of US Dollar-Denominated Subordinated Notes  In order to further improve its financial soundness, Nippon Life Insurance Company

                October 10, 2014 Nippon Life Insurance Company Notice Regarding Issuance of US Dollar-Denominated Subordinated Notes In order to further improve its financial soundness, Nippon Life Insurance Company

                Add to Reading List

                Source URL: www.nissay.co.jp

                Language: English - Date: 2014-10-17 04:31:52
                  80Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITori

                  Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITori

                  Add to Reading List

                  Source URL: alfredo.pironti.eu

                  Language: English - Date: 2009-12-16 09:29:55