Cross-checking

Results: 74



#Item
1Cross-Checking Oracles from Intrinsic Software Redundancy Antonio Carzaniga Alberto Goffi

Cross-Checking Oracles from Intrinsic Software Redundancy Antonio Carzaniga Alberto Goffi

Add to Reading List

Source URL: www.inf.usi.ch

- Date: 2014-03-08 08:30:08
    2Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler

    Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler

    Add to Reading List

    Source URL: web.cs.wpi.edu

    Language: English - Date: 2002-11-30 10:29:52
    3AUTOMATIC WITHDRAWAL AUTHORIZATION FORM CHECKING / SAVINGS Account Number: (Please Circle One) I hereby authorize the (Name of Institution)

    AUTOMATIC WITHDRAWAL AUTHORIZATION FORM CHECKING / SAVINGS Account Number: (Please Circle One) I hereby authorize the (Name of Institution)

    Add to Reading List

    Source URL: www.bcbswy.com

    Language: English - Date: 2016-04-18 16:24:52
    4Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by

    Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by

    Add to Reading List

    Source URL: www.inf.ed.ac.uk

    Language: English - Date: 2010-01-24 19:03:54
    5Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony

    Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony

    Add to Reading List

    Source URL: bsd7.cs.sunysb.edu

    Language: English - Date: 2003-08-25 12:18:38
    6Meeting Minutes February 2, 2015 Start-7:10, attendees 14 Secretary– Minutes of December meeting have been passed around for review & were posted to the website and are approved as posted. Treasurer –Checking $6981.1

    Meeting Minutes February 2, 2015 Start-7:10, attendees 14 Secretary– Minutes of December meeting have been passed around for review & were posted to the website and are approved as posted. Treasurer –Checking $6981.1

    Add to Reading List

    Source URL: tsscc.org

    Language: English - Date: 2015-02-03 21:16:45
    7Countering Identity Theft through Digital Uniqueness, Location Cross-Checking, and Funneling? P.C. van Oorschot1 1

    Countering Identity Theft through Digital Uniqueness, Location Cross-Checking, and Funneling? P.C. van Oorschot1 1

    Add to Reading List

    Source URL: fc05.ifca.ai

    Language: English - Date: 2005-01-18 10:47:28
      8

      PDF Document

      Add to Reading List

      Source URL: jburket.com

      Language: English - Date: 2015-04-07 23:18:11
      9Enabling cross-library optimization and compile-time error checking in the presence of procedural macros ∗ Andrew W. Keep R. Kent Dybvig

      Enabling cross-library optimization and compile-time error checking in the presence of procedural macros ∗ Andrew W. Keep R. Kent Dybvig

      Add to Reading List

      Source URL: www.andykeep.com

      Language: English - Date: 2013-10-07 03:39:56