Qian Hu's Publications

  1. FCL: A Formal Language for Writing Contracts PDF
    Q. Hu
    Ph.D. Thesis, 132 pp., McMaster University, May 2018.
  2. FCL: A Formal Language for Writing Contracts Abstract PDF
    W. M. Farmer and Q. Hu
    In: S. H. Rubin and T. Bouabana Tebibel, eds., Quality Software Through Reuse and Integration, 20 pp., Springer, 2017. This is a extended version of the paper below.
  3. A Formal Language for Writing Contracts Abstract PDF
    W. M. Farmer and Q. Hu
    In: 2016 IEEE International Conference on Information Reuse and Integration, 8 pp., IEEE, 2016.