If you made any changes in Pure these will be visible here soon.

Research Output

  • 1 Conference contribution
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
74 Downloads (Pure)