Filter
Conference contribution

Search results

  • 2019

    Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    240 Downloads (Pure)