Qian Hu's Publications
- FCL: A Formal Language for Writing Contracts
PDF
- Q. Hu
Ph.D. Thesis, 132 pp., McMaster University, May 2018.
- 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.
- 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.