Kuan, Ko-Hung

Number of items: 2.
2020
  • Kuan, Ko-Hung (2020). Towards a pluralistic view of formal methods [Doctoral thesis]. London School of Economics and Political Science. https://doi.org/10.21953/lse.00004249
  • Kuan, Ko-Hung (2020). Beyond linear conciliation. Synthese, https://doi.org/10.1007/s11229-020-02809-7 picture_as_pdf