21 research outputs found

    Verifying the Safety of User Pointer Dereferences

    No full text

    An exponential lower bound for the pure literal rule

    Full text link

    Enhancing inter-operability and data sharing in medical information systems

    No full text

    Enhancing inter-operability and data sharing in medical information systems

    No full text
    corecore